JavaScript is disabled on your browser.
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Sigma API Specification
Prev Letter
Next Letter
Frames
No Frames
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
_
_
_cacheFileSuffix
- Static variable in class com.articulate.sigma.
KB
The String constant that is the suffix for files of cached assertions.
_cacheFileSuffix
- Static variable in class com.articulate.sigma.
KBcache
The String constant that is the suffix for files of cached assertions.
_DEFAULT_TIMEOUT
- Static variable in class com.articulate.sigma.
InferenceTestSuite
Default timeout for queries with unspecified timeouts
_f
- Variable in class com.articulate.sigma.
SUMOformulaToTPTPformula
_userAssertionsString
- Static variable in class com.articulate.sigma.
KB
The String constant that is the suffix for files of user assertions.
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
_
Skip navigation links
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Sigma API Specification
Prev Letter
Next Letter
Frames
No Frames
All Classes