Constant Field Values

Contents

• com.articulate.*
• edu.dlsu.*
• jpl.*
• tptp_parser.*
• TPTPWorld.*

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 String	DEFAULT_KEY	"docgen_default"
protected static final String	F_SI	"si"
protected static final String	SP2	" "

com.articulate.sigma.Formula

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

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

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

Modifier and Type	Constant Field	Value
public static final int	optEOF	-1

com.articulate.sigma.nlp.constants.LangLib

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

com.articulate.sigma.semRewrite.Lexer

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

com.articulate.sigma.semRewrite.substitutor.CoreLabelSequence

Modifier and Type	Constant Field	Value
public static final int	IGNORE_SENTENCE	-2147483648

edu.dlsu.*

edu.dlsu.SUMOs.util.DateUtils

Modifier and Type	Constant Field	Value
public static final String	DATE_FORMAT_NOW	"yyyy-MM-dd HH:mm:ss"

jpl.*

jpl.JPL

Modifier and Type	Constant Field	Value
protected static final boolean	DEBUG	false

jpl.fli.*

jpl.fli.Prolog

Modifier and Type	Constant Field	Value
public static final int	ATOM	2
public static final int	BUF_DISCARDABLE	0
public static final int	BUF_MALLOC	512
public static final int	BUF_RING	256
public static final int	CHARS	12
public static final int	CVT_ALL	255
public static final int	CVT_ATOM	1
public static final int	CVT_ATOMIC	27
public static final int	CVT_FLOAT	16
public static final int	CVT_INTEGER	8
public static final int	CVT_NUMBER	24
public static final int	CVT_STRING	2
public static final int	CVT_VARIABLE	32
public static final int	fail	0
public static final int	FLOAT	4
public static final int	FUNCTOR	10
public static final int	INTEGER	3
public static final int	LIST	11
public static final int	POINTER	13
public static final int	Q_CATCH_EXCEPTION	8
public static final int	Q_NODEBUG	4
public static final int	Q_NORMAL	2
public static final int	Q_PASS_EXCEPTION	16
public static final int	STRING	5
public static final int	succeed	1
public static final int	TERM	6
public static final int	VARIABLE	1
public static final int	VT_LIST	4

jpl.fli.term_t

Modifier and Type	Constant Field	Value
public static final long	UNASSIGNED	-1L

tptp_parser.*

tptp_parser.TptpTokenTypes

Modifier and Type	Constant Field	Value
public static final int	ALL	39
public static final int	AND	12
public static final int	APPLY	27
public static final int	ASSIGN	33
public static final int	BIGPI	42
public static final int	BIGSIGMA	43
public static final int	CHOICE	44
public static final int	COLON	32
public static final int	COMMA	23
public static final int	DESCRIPTION	45
public static final int	DISEQUIVALENCE	16
public static final int	DISTINCT_OBJECT	24
public static final int	DOLLAR_DOLLAR_WORD	11
public static final int	DOLLAR_WORD	10
public static final int	DOT	49
public static final int	EOF	1
public static final int	EQUAL	14
public static final int	EQUIVALENCE	19
public static final int	EXIST	40
public static final int	IMPLICATION	15
public static final int	INTEGER	4
public static final int	LAMBDA	41
public static final int	LOWER_WORD	8
public static final int	LPR	21
public static final int	LSB	37
public static final int	MANY_LINE_COMMENT	51
public static final int	MAP	28
public static final int	MINUSMINUS	48
public static final int	NOT_AND	18
public static final int	NOT_OR	17
public static final int	NOTEQUAL	26
public static final int	NULL_TREE_LOOKAHEAD	3
public static final int	ONE_LINE_COMMENT	50
public static final int	PLUS	30
public static final int	PLUSPLUS	47
public static final int	RATIONAL	6
public static final int	REAL	7
public static final int	REVERSE_IMPLICATION	20
public static final int	RPR	22
public static final int	RSB	38
public static final int	SEQUENT	46
public static final int	SINGLE_QUOTED	9
public static final int	SMALLPI	35
public static final int	SMALLSIGMA	36
public static final int	STAR	29
public static final int	SUBTYPE	31
public static final int	TILDA	34
public static final int	UNSIGNED_INTEGER	5
public static final int	UPPER_WORD	25
public static final int	VLINE	13
public static final int	WHITESPACE	52

TPTPWorld.*

TPTPWorld.LooksDifferent

Modifier and Type	Constant Field	Value
public static final String	predicate_ld	"dummy_ld"

TPTPWorld.SystemInfoParser

Modifier and Type	Constant Field	Value
public static final String	COMMAND_TAG	"Command"
public static final String	END_SOLN_TAG	"EndSoln"
public static final String	PRE_COMMAND_TAG	"PreCommand"
public static final String	SOLVED_TAG	"Solved"
public static final String	START_SOLN_TAG	"StartSoln"
public static final String	STATUS_TAG	"Status"
public static final String	SYSTEM_TAG	"System"
public static final String	URL_TAG	"URL"
public static final String	VERSION_TAG	"Version"

TPTPWorld.SystemOnTPTP

Modifier and Type	Constant Field	Value
public static final String	NEW_LINE_TEXT	"%------------------------------------------------------------------------------\n"