Constant Field Values

Contents

• com.articulate.*

com.articulate.*

com.articulate.sigma.DocGen

Modifier and Type	Constant Field	Value
protected static final String	DEFAULT_KEY	"docgen_default"
protected static final String	F_SI	"si"
protected static final String	SP2	" "

com.articulate.sigma.ErrRec

Modifier and Type	Constant Field	Value
public static final int	ERROR	0
public static final int	WARNING	1

com.articulate.sigma.Formula

Modifier and Type	Constant Field	Value
public static final String	AND	"and"
public static final String	CEILINGFN	"CeilingFn"
public static final String	CLASS_SYMBOL_SUFFIX	"__t"
public static final String	DIVIDEFN	"DivisionFn"
public static final String	EQUAL	"equal"
public static final String	EQUANT	"exists"
public static final String	FLOORFN	"FloorFn"
public static final String	FN_SUFF	"Fn"
public static final String	GT	"greaterThan"
public static final String	GTET	"greaterThanOrEqualTo"
public static final String	IF	"=>"
public static final String	IFF	"<=>"
public static final String	KAPPAFN	"KappaFn"
public static final String	LOG_FALSE	"False"
public static final String	LOG_TRUE	"True"
public static final String	LP	"("
public static final String	LT	"lessThan"
public static final String	LTET	"lessThanOrEqualTo"
public static final int	MAX_PREDICATE_ARITY	7
public static final String	MINUSFN	"SubtractionFn"
public static final String	NOT	"not"
public static final String	OR	"or"
public static final String	PLUSFN	"AdditionFn"
public static final String	R_PREF	"@"
public static final String	REMAINDERFN	"RemainderFn"
public static final String	ROUNDFN	"RoundFn"
public static final String	RP	")"
public static final String	RVAR	"@ROW"
public static final String	SK_PREF	"Sk"
public static final String	SKFN	"SkFn"
public static final String	SPACE	" "
public static final String	TERM_MENTION_SUFFIX	"__m"
public static final String	TERM_SYMBOL_PREFIX	"s__"
public static final String	TERM_VARIABLE_PREFIX	"V__"
public static final String	TIMESFN	"MultiplicationFn"
public static final String	UQUANT	"forall"
public static final String	V_PREF	"?"
public static final String	VVAR	"?VAR"
public static final String	VX	"?X"
public static final String	XOR	"xor"

com.articulate.sigma.KB

Modifier and Type	Constant Field	Value
public static final String	_cacheFileSuffix	"_Cache.kif"
public static final String	_userAssertionsString	"_UserAssertions.kif"
public static final String	_userAssertionsTFF	"_UserAssertions.tff"
public static final String	_userAssertionsTHF	"_UserAssertions.thf"
public static final String	_userAssertionsTPTP	"_UserAssertions.tptp"

com.articulate.sigma.KBcache

Modifier and Type	Constant Field	Value
public static final String	_cacheFileSuffix	"_Cache.kif"

com.articulate.sigma.KBmanager

Modifier and Type	Constant Field	Value
protected static final String	CONFIG_FILE	"config.xml"
protected static final String	KB_MANAGER_SER	"kbmanager.ser"

com.articulate.sigma.KButilities

Modifier and Type	Constant Field	Value
public static final int	ONE_K	1000

com.articulate.sigma.KIF

Modifier and Type	Constant Field	Value
public static final int	NORMAL_PARSE_MODE	1
public static final int	RELAXED_PARSE_MODE	2

com.articulate.sigma.PasswordService

Modifier and Type	Constant Field	Value
public static final String	INITIAL_ADMIN_USER	"sumo"

com.articulate.sigma.PredVarInst

Modifier and Type	Constant Field	Value
public static final String	DOUBLE_PREDICATE_AXIOM	"(=> (and (instance ?REL1 Predicate) (instance ?REL2 Predicate) (disjointRelation ?REL1 ?REL2) (not (equal ?REL1 ?REL2)) (?REL1 @ROW2)) (not (?REL2 @ROW2)))"

com.articulate.sigma.ProofStep

Modifier and Type	Constant Field	Value
public static final String	INSTANTIATED_QUERY	"[Instantiated Query]"
public static final String	NEGATED_QUERY	"[Negated Query]"
public static final String	QUERY	"[Query]"

com.articulate.sigma.RowVars

Modifier and Type	Constant Field	Value
public static final int	MAX_ARITY	5

com.articulate.sigma.StreamTokenizer_s

Modifier and Type	Constant Field	Value
public static final int	TT_EOF	-1
public static final int	TT_EOL	10
public static final int	TT_NUMBER	-2
public static final int	TT_WORD	-3

com.articulate.sigma.dataProc.Hotel

Modifier and Type	Constant Field	Value
public static final int	geocodeLimit	100

com.articulate.sigma.tp.GenPropFormulas

Modifier and Type	Constant Field	Value
public static final String	AND	"&"
public static final String	IFF	"<=>"
public static final String	IMPLIES	"=>"
public static final String	NOT	"~"
public static final String	OR	"|"
public static final String	PARENS	"()"

com.articulate.sigma.tp.ProverCrashedException

Modifier and Type	Constant Field	Value
public static final int	SIGABRT	6
public static final int	SIGHUP	1
public static final int	SIGINT	2
public static final int	SIGKILL	9
public static final int	SIGQUIT	3
public static final int	SIGSEGV	11
public static final int	SIGTERM	15
public static final int	SIGXCPU	24

com.articulate.sigma.trans.KIF2DB

Modifier and Type	Constant Field	Value
public static final String	JDBCString	"jdbc:h2:~/var/passwd"

com.articulate.sigma.trans.SUMOKBtoTFAKB

Modifier and Type	Constant Field	Value
public static final String	ENTITY_SUFFIX	"En"
public static final String	INT_SUFFIX	"In"
public static final String	RAT_SUFFIX	"Ra"
public static final String	REAL_SUFFIX	"Re"
public static final String	TFF_ENTITY	"$i"
public static final String	TFF_INT	"$int"
public static final String	TFF_RAT	"$rat"
public static final String	TFF_REAL	"$real"

com.articulate.sigma.trans.SUMOKBtoTPTPKB

Modifier and Type	Constant Field	Value
public static final boolean	FILTER_SIMPLE_ONLY	false

com.articulate.sigma.wordNet.WordNet

Modifier and Type	Constant Field	Value
public static final int	ADJECTIVE	3
public static final int	ADJECTIVE_SATELLITE	5
public static final int	ADVERB	4
public static final int	NOUN	1
public static final int	VERB	2