Constant Field Values

Contents

• com.articulate.*

com.articulate.*

com.articulate.sigma.Base64

Modifier and Type	Constant Field	Value
public static final int	DECODE	0
public static final int	DO_BREAK_LINES	8
public static final int	DONT_GUNZIP	4
public static final int	ENCODE	1
public static final int	GZIP	2
public static final int	NO_OPTIONS	0
public static final int	ORDERED	32
public static final int	URL_SAFE	16

com.articulate.sigma.DocGen

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

com.articulate.sigma.Formula

Modifier and Type	Constant Field	Value
protected static final java.lang.String	AND	"and"
public static final java.lang.String	classSymbolSuffix	"__t"
protected static final java.lang.String	DIVIDEFN	"DivisionFn"
protected static final java.lang.String	EQUAL	"equal"
public static final java.lang.String	EQUANT	"exists"
protected static final java.lang.String	FN_SUFF	"Fn"
protected static final java.lang.String	GT	"greaterThan"
protected static final java.lang.String	GTET	"greaterThanOrEqualTo"
protected static final java.lang.String	IF	"=>"
protected static final java.lang.String	IFF	"<=>"
protected static final java.lang.String	KAPPAFN	"KappaFn"
protected static final java.lang.String	LOG_FALSE	"False"
protected static final java.lang.String	LOG_TRUE	"True"
protected static final java.lang.String	LP	"("
protected static final java.lang.String	LT	"lessThan"
protected static final java.lang.String	LTET	"lessThanOrEqualTo"
protected static final int	MAX_PREDICATE_ARITY	7
protected static final java.lang.String	MINUSFN	"SubtractionFn"
protected static final java.lang.String	NOT	"not"
protected static final java.lang.String	OR	"or"
protected static final java.lang.String	PLUSFN	"AdditionFn"
protected static final java.lang.String	R_PREF	"@"
protected static final java.lang.String	RP	")"
protected static final java.lang.String	RVAR	"@ROW"
protected static final java.lang.String	SK_PREF	"Sk"
protected static final java.lang.String	SKFN	"SkFn"
protected static final java.lang.String	SPACE	" "
public static final java.lang.String	termMentionSuffix	"__m"
public static final java.lang.String	termSymbolPrefix	"s__"
public static final java.lang.String	termVariablePrefix	"V__"
protected static final java.lang.String	TIMESFN	"MultiplicationFn"
public static final java.lang.String	UQUANT	"forall"
protected static final java.lang.String	V_PREF	"?"
protected static final java.lang.String	VVAR	"?VAR"
protected static final java.lang.String	VX	"?X"

com.articulate.sigma.Hotel

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

com.articulate.sigma.KB

Modifier and Type	Constant Field	Value
public static final java.lang.String	_cacheFileSuffix	"_Cache.kif"
public static final java.lang.String	_userAssertionsString	"_UserAssertions.kif"

com.articulate.sigma.KBcache

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

com.articulate.sigma.KBmanager

Modifier and Type	Constant Field	Value
protected static final java.lang.String	CONFIG_FILE	"config.xml"
public static final int	USE_CACHE	4
public static final int	USE_HOLDS_PREFIX	2
public static final int	USE_TPTP	8
public static final int	USE_TYPE_PREFIX	1

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
protected static final java.lang.String	ADMIN_ROLE	"administrator"
protected static final java.lang.String	USER_ROLE	"user"

com.articulate.sigma.ProofStep

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

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.SUMOKBtoTPTPKB

Modifier and Type	Constant Field	Value
public static final boolean	filterSimpleOnly	true

com.articulate.sigma.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

com.articulate.sigma.nlp.constants.LangLib

Modifier and Type	Constant Field	Value
public static final java.lang.String	ASPECT_PERFECT	"PERFECT"
public static final java.lang.String	ASPECT_PROGRESSIVE	"PROGRESSIVE"
public static final java.lang.String	ASPECT_PROGRESSIVE_PERFECT	"PROGRESSIVE/PERFECT"
public static final java.lang.String	DEP_ACOMP	"acomp"
public static final java.lang.String	DEP_ADVCL	"advcl"
public static final java.lang.String	DEP_ADVMOD	"advmod"
public static final java.lang.String	DEP_AGENT	"agent"
public static final java.lang.String	DEP_AMOD	"amod"
public static final java.lang.String	DEP_APPOS	"appos"
public static final java.lang.String	DEP_ATTR	"attr"
public static final java.lang.String	DEP_AUX	"aux"
public static final java.lang.String	DEP_AUXPASS	"auxpass"
public static final java.lang.String	DEP_CC	"cc"
public static final java.lang.String	DEP_CCOMP	"ccomp"
public static final java.lang.String	DEP_COMPLM	"complm"
public static final java.lang.String	DEP_CONJ	"conj"
public static final java.lang.String	DEP_COP	"cop"
public static final java.lang.String	DEP_CSUBJ	"csubj"
public static final java.lang.String	DEP_CSUBJPASS	"csubjpass"
public static final java.lang.String	DEP_DEP	"dep"
public static final java.lang.String	DEP_DET	"det"
public static final java.lang.String	DEP_DOBJ	"dobj"
public static final java.lang.String	DEP_EXPL	"expl"
public static final java.lang.String	DEP_HMOD	"hmod"
public static final java.lang.String	DEP_HYPH	"hyph"
public static final java.lang.String	DEP_INFMOD	"infmod"
public static final java.lang.String	DEP_INTJ	"intj"
public static final java.lang.String	DEP_IOBJ	"iobj"
public static final java.lang.String	DEP_MARK	"mark"
public static final java.lang.String	DEP_META	"meta"
public static final java.lang.String	DEP_NEG	"neg"
public static final java.lang.String	DEP_NFMOD	"nfmod"
public static final java.lang.String	DEP_NMOD	"nmod"
public static final java.lang.String	DEP_NN	"nn"
public static final java.lang.String	DEP_NPADVMOD	"npadvmod"
public static final java.lang.String	DEP_NSUBJ	"nsubj"
public static final java.lang.String	DEP_NSUBJPASS	"nsubjpass"
public static final java.lang.String	DEP_NUM	"num"
public static final java.lang.String	DEP_NUMBER	"number"
public static final java.lang.String	DEP_OPRD	"oprd"
public static final java.lang.String	DEP_PARATAXIS	"parataxis"
public static final java.lang.String	DEP_PARTMOD	"partmod"
public static final java.lang.String	DEP_PASS	"pass"
public static final java.lang.String	DEP_PCOMP	"pcomp"
public static final java.lang.String	DEP_PMOD	"pmod"
public static final java.lang.String	DEP_POBJ	"pobj"
public static final java.lang.String	DEP_POSS	"poss"
public static final java.lang.String	DEP_POSSESSIVE	"possessive"
public static final java.lang.String	DEP_PRECONJ	"preconj"
public static final java.lang.String	DEP_PREDET	"predet"
public static final java.lang.String	DEP_PREP	"prep"
public static final java.lang.String	DEP_PRT	"prt"
public static final java.lang.String	DEP_PUNCT	"punct"
public static final java.lang.String	DEP_QMOD	"qmod"
public static final java.lang.String	DEP_QUANTMOD	"quantmod"
public static final java.lang.String	DEP_RCMOD	"rcmod"
public static final java.lang.String	DEP_ROOT	"root"
public static final java.lang.String	DEP_SUBJ	"subj"
public static final java.lang.String	DEP_VMOD	"vmod"
public static final java.lang.String	DEP_XCOMP	"xcomp"
public static final java.lang.String	DEP_XSUBJ	"xsubj"
public static final java.lang.String	NE_DATE	"DATE"
public static final java.lang.String	NE_LOC	"LOCATION"
public static final java.lang.String	NE_MISC	"MISC"
public static final java.lang.String	NE_MONEY	"MONEY"
public static final java.lang.String	NE_ORG	"ORGANIZATION"
public static final java.lang.String	NE_PERCENT	"PERCENT"
public static final java.lang.String	NE_PERSON	"PERSON"
public static final java.lang.String	NE_TIME	"TIME"
public static final java.lang.String	NUMBER_PLURAL	"PLURAL"
public static final java.lang.String	NUMBER_SINGULAR	"SINGULAR"
public static final java.lang.String	POS_CC	"CC"
public static final java.lang.String	POS_CD	"CD"
public static final java.lang.String	POS_DT	"DT"
public static final java.lang.String	POS_EX	"EX"
public static final java.lang.String	POS_FW	"FW"
public static final java.lang.String	POS_IN	"IN"
public static final java.lang.String	POS_JJ	"JJ"
public static final java.lang.String	POS_JJR	"JJR"
public static final java.lang.String	POS_JJS	"JJS"
public static final java.lang.String	POS_LS	"LS"
public static final java.lang.String	POS_MD	"MD"
public static final java.lang.String	POS_NN	"NN"
public static final java.lang.String	POS_NNP	"NNP"
public static final java.lang.String	POS_NNPS	"NNPS"
public static final java.lang.String	POS_NNS	"NNS"
public static final java.lang.String	POS_PDT	"PDT"
public static final java.lang.String	POS_POS	"POS"
public static final java.lang.String	POS_PRP	"PRP"
public static final java.lang.String	POS_PRPS	"PRP$"
public static final java.lang.String	POS_RB	"RB"
public static final java.lang.String	POS_RBR	"RBR"
public static final java.lang.String	POS_RBS	"RBS"
public static final java.lang.String	POS_RP	"RP"
public static final java.lang.String	POS_SYM	"SYM"
public static final java.lang.String	POS_TO	"TO"
public static final java.lang.String	POS_UH	"UH"
public static final java.lang.String	POS_VB	"VB"
public static final java.lang.String	POS_VBD	"VBD"
public static final java.lang.String	POS_VBG	"VBG"
public static final java.lang.String	POS_VBN	"VBN"
public static final java.lang.String	POS_VBP	"VBP"
public static final java.lang.String	POS_VBZ	"VBZ"
public static final java.lang.String	POS_WDT	"WDT"
public static final java.lang.String	POS_WP	"WP"
public static final java.lang.String	POS_WPS	"WP$"
public static final java.lang.String	POS_WRB	"WRB"
public static final java.lang.String	TENSE_FUTURE	"FUTURE"
public static final java.lang.String	TENSE_PAST	"PAST"
public static final java.lang.String	TENSE_PRESENT	"PRESENT"

com.articulate.sigma.semRewrite.Lexer

Modifier and Type	Constant Field	Value
public static final java.lang.String	Clause	"/-"
public static final java.lang.String	CloseBracket	"}"
public static final java.lang.String	ClosePar	")"
public static final java.lang.String	Comma	","
public static final java.lang.String	Directive	"Directive"
public static final java.lang.String	EOFToken	"*EOF*"
public static final java.lang.String	FullStop	". (full stop)"
public static final java.lang.String	Ident	"Identifier"
public static final java.lang.String	Implies	"==>"
public static final java.lang.String	Negation	"-"
public static final java.lang.String	Newline	"Newline"
public static final java.lang.String	NoToken	"No Token"
public static final java.lang.String	Number	"Positive or negative Integer or real"
public static final java.lang.String	OpenBracket	"{"
public static final java.lang.String	OpenPar	"("
public static final java.lang.String	OptImplies	"?=>"
public static final java.lang.String	Or	"|"
public static final java.lang.String	Plus	"+"
public static final java.lang.String	QuotedString	"Quoted string"
public static final java.lang.String	SemiComment	"SemiComment"
public static final java.lang.String	Stop	"stop"
public static final java.lang.String	Var	"Variable"
public static final java.lang.String	WhiteSpace	"White Space"
public static final java.lang.String	Zero	"!"