I-Index (Sigma API Specification)

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

I

iChildren - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB
ID - Variable in class com.articulate.sigma.dataProc.Infrastructure.Category
ID - Variable in class com.articulate.sigma.dataProc.Infrastructure.Product
ID - Variable in class com.articulate.sigma.VerbNet.Verb
idcount - Variable in class com.articulate.sigma.dataProc.Antenna
idTable - Variable in class com.articulate.sigma.trans.TPTP3ProofProcessor
IF - Static variable in class com.articulate.sigma.Formula
IFF - Static variable in class com.articulate.sigma.Formula
IFF - Static variable in class com.articulate.sigma.tp.GenPropFormulas
ignoreCaseSynsetHash - Variable in class com.articulate.sigma.wordNet.WordNet
imageNetLinks() - Method in class com.articulate.sigma.wordNet.WordNetUtilities: Import links from www.image-net.org that are linked to WordNet and links them to SUMO terms when the synset has a directly equivalent SUMO term
immediateParents(String) - Method in class com.articulate.sigma.KB
IMPLIES - Static variable in class com.articulate.sigma.tp.GenPropFormulas
improveTemplate(String, LanguageFormatter.RenderMode, String) - Static method in class com.articulate.sigma.nlg.NLGReadability
INAPPROPRIATE - Enum constant in enum class com.articulate.sigma.tp.SZSStatus
INCOMPLETE - Enum constant in enum class com.articulate.sigma.tp.SZSStatus
inconsistency - Variable in class com.articulate.sigma.trans.TPTP3ProofProcessor
inconsistent - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData
inconsistentVarTypes() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Check whether variables have multiple mutually exclusive types
incTime(KB, String) - Static method in class com.articulate.sigma.dataProc.Diagnosis
indent - Static variable in class com.articulate.sigma.Graph
indentChars(String, int) - Static method in class com.articulate.sigma.DocGen: Returns a String consisting of str concatenated indent times.
INDEX_FILE_NAME - Static variable in class com.articulate.sigma.DocGen: The default base plus file suffix name for the main index file for a set of HTML output files.
indicatesResourceOut(List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor: Check if output indicates resource exhaustion.
indicatesSuccess(List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor: Determine if output suggests success (proof found, etc.)
indicatesTimeout(List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor: Check if output indicates the prover timed out.
INDIRECT_OBJECT - Enum constant in enum class com.articulate.sigma.nlg.SVOElement.SVOGrammarPosition
INEQUALITIES - Static variable in class com.articulate.sigma.Formula: SUO-KIF mathematical comparison predicates.
inf - Static variable in class com.articulate.sigma.dataProc.Infrastructure
infBaseFileOldIgnoringUserAssertions(String) - Method in class com.articulate.sigma.KBmanager
InferenceEngine - Class in com.articulate.sigma
InferenceEngine() - Constructor for class com.articulate.sigma.InferenceEngine
InferenceEngine.EngineFactory - Class in com.articulate.sigma
InferenceTestSuite - Class in com.articulate.sigma: A framework for doing a series of assertions and queries, and for comparing the actual result of queries against an expected result.
InferenceTestSuite() - Constructor for class com.articulate.sigma.InferenceTestSuite
InferenceTestSuite.InfTestData - Class in com.articulate.sigma
InferenceTestSuite.OneResult - Class in com.articulate.sigma
inferenceType - Variable in class com.articulate.sigma.ProofStep: A String of the inference type, e.g.
inferenceUnitTest(String, KB) - Method in class com.articulate.sigma.InferenceTestSuite: The method will be called in InferenceTest in unit test; It takes a TQG file path, reading the kif statements and queries and expected answers; It parses the theorem prover's inference output for actual answers; Note that this procedure DOES NOT delete any prior user assertions.
infFileOld() - Method in class com.articulate.sigma.KBmanager: Check whether config file or any .kif constituent is newer than its corresponding TPTP/TFF/THF file
infFileOld(String) - Method in class com.articulate.sigma.KBmanager: Check whether config file or any .kif constituent is newer than its corresponding TPTP/TFF/THF file
Infrastructure - Class in com.articulate.sigma.dataProc
Infrastructure() - Constructor for class com.articulate.sigma.dataProc.Infrastructure
Infrastructure.Category - Class in com.articulate.sigma.dataProc
Infrastructure.Mappings - Class in com.articulate.sigma.dataProc: maps are old string ID keys and new (SUMO) id values
Infrastructure.Product - Class in com.articulate.sigma.dataProc
InfTestData() - Constructor for class com.articulate.sigma.InferenceTestSuite.InfTestData
inheritDomains() - Method in class com.articulate.sigma.KBcache: Find domain and domainSubclass definitions that impact a child relation.
inhibitDisplayRelations - Variable in class com.articulate.sigma.DocGen: A set of the predicates that should not be displayed to the user.
init() - Static method in class com.articulate.sigma.PredVarInst
init() - Method in class com.articulate.sigma.tp.GenPropFormulas: convert to a string
init(String) - Static method in class com.articulate.sigma.nlg.NLGUtils
INITIAL_ADMIN_USER - Static variable in class com.articulate.sigma.PasswordService
initialized - Static variable in class com.articulate.sigma.dataProc.Infrastructure
initialized - Variable in class com.articulate.sigma.KBcache
initialized - Static variable in class com.articulate.sigma.KBmanager
initialized - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB
initialized - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform
initializeOnce() - Method in class com.articulate.sigma.KBmanager: Reads in the KBs and other parameters defined in the XML configuration file, or uses the default parameters.
initializeOnce(String) - Method in class com.articulate.sigma.KBmanager: Reads in the KBs and other parameters defined in the XML configuration file, or uses the default parameters.
initializing - Static variable in class com.articulate.sigma.KBmanager
initiateCCheck(KB, String, String, String, String, int) - Static method in class com.articulate.sigma.KBmanager
initNeeded - Static variable in class com.articulate.sigma.trans.KIF2SQL
initNeeded - Static variable in class com.articulate.sigma.trans.OWLtranslator
initNeeded - Static variable in class com.articulate.sigma.wordNet.WordNet
initNumericConstantTypes() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
initOnce - Static variable in class com.articulate.sigma.EditGUI
initOnce() - Static method in class com.articulate.sigma.dataProc.Infrastructure
initOnce() - Static method in class com.articulate.sigma.EditGUI
initOnce() - Method in class com.articulate.sigma.trans.SUMOKBtoTFAKB
initOnce() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
initOnce() - Static method in class com.articulate.sigma.VerbNet.VerbNet
initOnce() - Static method in class com.articulate.sigma.wordNet.WordNet: Read the WordNet files only on initialization of the class.
initOnce(String) - Static method in class com.articulate.sigma.trans.KIF2SQL
initOnce(String) - Static method in class com.articulate.sigma.trans.OWLtranslator
initOnceDB() - Static method in class com.articulate.sigma.dataProc.Infrastructure
initSampleValues(DB2KIF) - Static method in class com.articulate.sigma.trans.DB2KIF: Create some sample good and bad values for testing
initValues(DB2KIF) - Static method in class com.articulate.sigma.trans.DB2KIF: Take statements in SUMO and generate sets of good or bad values for relations
input - Variable in class com.articulate.sigma.ProofStep
INPUT_ERROR - Enum constant in enum class com.articulate.sigma.tp.SZSStatus
inputLanguage(String) - Method in class com.articulate.sigma.tp.ATPResult.Builder
inputSource(String) - Method in class com.articulate.sigma.tp.ATPResult.Builder
insertFormulaArgs(Formula) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Insert the given formula arguments into the topmost element of the stack.
insertion - Variable in class com.articulate.sigma.dataProc.WikiMuscle.Record
insideWebContext - Static variable in class com.articulate.sigma.KButilities: Warnings found during processing formulas
instanceOf - Variable in class com.articulate.sigma.KBcache: Parent relations from instances, including those that are transitive through (instance,instance) relations, such as subAttribute and subrelation.
instanceOfInstanceP(KB) - Static method in class com.articulate.sigma.KButilities: Find all cases of where (instance A B) (instance B C) as well as all cases of where (instance A B) (instance B C) (instance C D).
instances - Variable in class com.articulate.sigma.KBcache
instances(String) - Method in class com.articulate.sigma.KB: Get all instances of a given term
instancesOf(String) - Method in class com.articulate.sigma.KB: Determine whether a particular term is an immediate instance, which has a statement of the form (instance term otherTerm).
INSTANTIATED_QUERY - Static variable in class com.articulate.sigma.ProofStep
instantiateNumericConstants(Formula) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Substitute the values of numeric constants for their names.
instantiatePredVars(Formula, KB) - Static method in class com.articulate.sigma.PredVarInst
instRels - Variable in class com.articulate.sigma.KBcache
INSTRUMENT - Enum constant in enum class com.articulate.sigma.nlg.CaseRole
insts - Variable in class com.articulate.sigma.KBcache: A temporary list of instances built during creation of the children map, in order to efficiently create the instances map
instTransRels - Variable in class com.articulate.sigma.KBcache
INT_SUFFIX - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB
intendedTransRels - Static variable in class com.articulate.sigma.KBcache
interactive() - Static method in class com.articulate.sigma.wordNet.WSD
intersect(List<Set<VariableMapping>>, List<Set<VariableMapping>>) - Static method in class com.articulate.sigma.VariableMapping
isAttribute(KB, String) - Static method in class com.articulate.sigma.KButilities
isAttribute(String) - Method in class com.articulate.sigma.KB: Returns true if i is an Attribute, else returns false.
isBackgroundGenerating() - Static method in class com.articulate.sigma.trans.TPTPGenerationManager: Check if any background generation is currently in progress.
isBalancedList() - Method in class com.articulate.sigma.Formula: Returns true if the Formula contains no unbalanced parentheses or unbalanced quote characters, otherwise returns false.
isBinary() - Method in class com.articulate.sigma.Formula: Returns true if formula is a simple binary relation (note that because the argument list includes the predicate, which is argument 0, there will be three elements)
isBuiltInNumericType(String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
isCached() - Method in class com.articulate.sigma.Formula: Test whether the Formula is automatically created by caching
isCacheFile(String) - Static method in class com.articulate.sigma.KButilities
isChildOf(String, String) - Method in class com.articulate.sigma.KB: Returns true if i is c, is an instance of c, or is subclass of c, or is subAttribute of c, else returns false.
isClass(KB, String) - Static method in class com.articulate.sigma.KButilities
isCommutative(String) - Static method in class com.articulate.sigma.Formula: A static utility method.
isCommutative(String) - Static method in class com.articulate.sigma.KB: A static utility method.
isComparisonOperator(String) - Static method in class com.articulate.sigma.Formula: Returns true if term is a SUO-KIF predicate for comparing two (typically numeric) terms, else returns false.
isComparisonOperator(String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: comparison ops are EQUAL, GT, GTET, LT, LTET
isComposite(KB, String) - Static method in class com.articulate.sigma.DocGen: Returns true if term is an instance or subclass of CompositeContentBearingObject in kb, else returns false.
isConst(String) - Static method in class com.articulate.sigma.KifFileChecker: Check if a token represents a constant rather than a variable or literal.
isDataType(KB, String) - Method in class com.articulate.sigma.DocGen
isDoc - Variable in class com.articulate.sigma.parsing.FormulaAST
isDoc(Formula) - Static method in class com.articulate.sigma.FormulaUtil: Test whether a formula is suitable for theorem proving or if it's just a documentation statement
isEmpty() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Is the stack empty?
isEmptyList(Object) - Static method in class com.articulate.sigma.KB
isEpistemic(KB) - Method in class com.articulate.sigma.Formula
isEqualTypeOp(String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
isError() - Method in enum class com.articulate.sigma.tp.SZSStatus
isExistentiallyQuantified() - Method in class com.articulate.sigma.Formula: Tests if this formula is an existentially quantified formula
isExplicitDisjoint(Map<String, Set<String>>, String, String) - Method in class com.articulate.sigma.KBcache: return true if rel1 and rel2 are explicitly defined as disjoint relations; otherwise return false.
isFailure() - Method in enum class com.articulate.sigma.tp.SZSStatus
isFile(String) - Method in class com.articulate.sigma.wordNet.WordNet
isFOFGenerating() - Static method in class com.articulate.sigma.trans.TPTPGenerationManager: Check if FOF generation is currently in progress.
isFOFReady() - Static method in class com.articulate.sigma.trans.TPTPGenerationManager: Check if FOF generation is ready.
isFunction(KB, String) - Static method in class com.articulate.sigma.KButilities
isFunction(String) - Static method in class com.articulate.sigma.Formula: Deprecated.
isFunction(String) - Method in class com.articulate.sigma.KB: Returns true if i is an instance of Function, else returns false.
isFunctional - Variable in class com.articulate.sigma.Formula
isFunctional(Formula) - Method in class com.articulate.sigma.KB: Returns true if argument is functional expression, else returns false.
isFunctionalTerm() - Method in class com.articulate.sigma.Formula: Deprecated.
isFunctionalTerm(String) - Static method in class com.articulate.sigma.Formula: Deprecated.
isGround - Variable in class com.articulate.sigma.Formula
isGround() - Method in class com.articulate.sigma.Formula: Returns true if formula does not have variables, else returns false.
isGround(String) - Static method in class com.articulate.sigma.Formula: Returns true if formula is a valid formula with no variables, else returns false.
isHardTimeout() - Method in exception class com.articulate.sigma.tp.ProverTimeoutException
isHealthy() - Method in class com.articulate.sigma.nlg.OllamaClient
isHigherOrder(KB) - Method in class com.articulate.sigma.Formula: Test whether a Formula contains a Formula as an argument to other than a logical operator.
isHorn(KB) - Method in class com.articulate.sigma.Formula: Returns true only if this Formula is a horn clause or is simply modified to be horn by breaking out a conjunctive conclusion.
isHyponym(String, String) - Method in class com.articulate.sigma.wordNet.WordNet
isHyponymousWord(String, Set<String>) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
isHyponymRecurse(String, String, List<String>) - Method in class com.articulate.sigma.wordNet.WordNet
isInconsistencyDetected() - Method in class com.articulate.sigma.tp.ATPResult
isInequality(String) - Static method in class com.articulate.sigma.Formula: Returns true if term is a SUO-KIF inequality, else returns false.
isInstance(KB, String) - Static method in class com.articulate.sigma.KButilities
isInstance(String) - Method in class com.articulate.sigma.KB
isInstanceOf(KB, String, String) - Static method in class com.articulate.sigma.DocGen: Returns true if i is an instance of c, else returns false.
isInstanceOf(String, String) - Method in class com.articulate.sigma.KB: Returns true if i is an instance of c, else returns false.
isInstanceOf(String, String) - Method in class com.articulate.sigma.KBcache: Returns true if i is an instance of c, else returns false.
isInstanceOfCache - Static variable in class com.articulate.sigma.DocGen: Supports memoization for isInstanceOf(kb, c1, c2).
isKnownCaseRole(String) - Static method in enum class com.articulate.sigma.nlg.CaseRole: Is the input string a valid case role? Note that this method is case-sensitive.
isLegalForDisplay(DocGen, String) - Method in interface com.articulate.sigma.DisplayFilter: Returns true if suoKifTerm may be displayed or included in the particular UI text or other output generated by the DocGen object dg.
isLegalForDisplay(DocGen, String) - Method in interface com.articulate.sigma.DocGen.DisplayFilter: Returns true if suoKifTerm may be displayed or included in the particular UI text or other output generated by the DocGen object dg.
isLegalForDisplay(String) - Method in class com.articulate.sigma.DocGen: Returns true if statements that include term and occur in the kb and ontology associated with this DocGen object may be displayed or output (at all, in any form).
isLogicalOperator(String) - Static method in class com.articulate.sigma.Formula: Returns true if term is a constant true or constant false, else returns false.
isMathFunction(String) - Static method in class com.articulate.sigma.Formula: Returns true if term is a SUO-KIF mathematical function, else returns false.
isMathFunction(String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: math ops are PLUSFN, MINUSFN, TIMESFN, DIVIDEFN, FLOORFN, RemainderFn, CeilingFn, RoundFn
isModal(KB) - Method in class com.articulate.sigma.Formula
isNegatedQuery(String, String) - Static method in class com.articulate.sigma.Formula: Compare the given formula to the negated query and return whether they are the same (minus the negation).
isNonEmptyString(String) - Static method in class com.articulate.sigma.DocGen
isNumeric(Formula) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: a number, a variable with a numeric type or a function symbol or function with a numeric type
isNumericType(String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
isOtherHOL(KB) - Method in class com.articulate.sigma.Formula
isQuantifier(String) - Static method in class com.articulate.sigma.Formula: Test whether a predicate is a logical quantifier
isQuantifier(String) - Static method in class com.articulate.sigma.KB: A static utility method.
isQuantifierList(String, String) - Static method in class com.articulate.sigma.Formula: Test whether a list with a predicate is a quantifier list
isQuery(String, String) - Static method in class com.articulate.sigma.Formula: Compare the given formula to the query and return whether they are the same.
isRegularVariable() - Method in class com.articulate.sigma.Formula: Test whether the Formula is a regular '?' variable
isRelation(KB, String) - Static method in class com.articulate.sigma.KButilities
isRelation(String) - Method in class com.articulate.sigma.KB
isRelationInAnyKB(String) - Static method in class com.articulate.sigma.KB: Returns true if i is an instance of c in any loaded KB, else returns false.
isRowVar() - Method in class com.articulate.sigma.Formula: Test whether the Formula is a row variable
isRule - Variable in class com.articulate.sigma.parsing.FormulaAST
isRule() - Method in class com.articulate.sigma.Formula: Returns true only if this Formula, explicitly quantified or not, starts with "=>" or "invalid input: '<'=>", else returns false.
isSimpleClause(KB) - Method in class com.articulate.sigma.Formula: Test whether a Formula is a simple list of terms (including functional terms).
isSimpleNegatedClause(KB) - Method in class com.articulate.sigma.Formula: Test whether a Formula is a simple clause wrapped in a negation.
isSkipNode(KB, String) - Static method in class com.articulate.sigma.DocGen: Returns true if term should be skipped over during printing, else returns false.
isSkolemRelation(String) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Input: s__Arc13_1 Output: Arc13_1
isSkolemTerm(String) - Static method in class com.articulate.sigma.Formula: Returns true if term is a SUO-KIF Skolem term, else returns false
isSoftTimeout() - Method in exception class com.articulate.sigma.tp.ProverTimeoutException
isStopWord(String) - Method in class com.articulate.sigma.wordNet.WordNet: Check whether the word is a stop word
isSubAttribute(String, String) - Method in class com.articulate.sigma.KB: Returns true if the KB cache supports the conclusion that c1 is a subAttribute of c2, else returns false.
isSubclass(String, String) - Method in class com.articulate.sigma.KB: Returns true if the subclass cache supports the conclusion that c1 is a subclass of c2, else returns false.
isSuccess() - Method in class com.articulate.sigma.tp.ATPResult
isSuccess() - Method in enum class com.articulate.sigma.tp.SZSStatus
isTemporal(KB) - Method in class com.articulate.sigma.Formula
isTerm(String) - Static method in class com.articulate.sigma.Formula: Returns true if term is a valid SUO-KIF term, else returns false.
isTFF - Variable in class com.articulate.sigma.Formula
isTFF(KB) - Method in class com.articulate.sigma.Formula
isTFFGenerating() - Static method in class com.articulate.sigma.trans.TPTPGenerationManager: Check if TFF generation is currently in progress.
isTFFReady() - Static method in class com.articulate.sigma.trans.TPTPGenerationManager: Check if TFF generation is ready.
isTHFModalGenerating() - Static method in class com.articulate.sigma.trans.TPTPGenerationManager: Check if THF Modal generation is currently in progress.
isTHFModalReady() - Static method in class com.articulate.sigma.trans.TPTPGenerationManager: Check if THF Modal generation is ready.
isTHFPlainGenerating() - Static method in class com.articulate.sigma.trans.TPTPGenerationManager: Check if THF Plain generation is currently in progress.
isTHFPlainReady() - Static method in class com.articulate.sigma.trans.TPTPGenerationManager: Check if THF Plain generation is ready.
isTimedOut() - Method in class com.articulate.sigma.tp.ATPResult
isTransitivePredicate(String) - Method in class com.articulate.sigma.KBcache
isTrueFalse(String) - Static method in class com.articulate.sigma.Formula: Returns true if term is a standard FOL logical operator, else returns false.
isUniversallyQuantified() - Method in class com.articulate.sigma.Formula: Tests if this formula is an universally quantified formula
isUnknown() - Method in enum class com.articulate.sigma.tp.SZSStatus
isValidFormula(KB, String) - Static method in class com.articulate.sigma.KButilities: Checks for overall validity of the given formula
isValidKey(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Check whether a sense key format is valid
isValidSynset8(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Check whether a synset format is valid
isValidSynset9(String) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Check whether a synset format is valid
isValidTerm(String) - Static method in class com.articulate.sigma.Mapping: check whether a term is valid (worthy of being compared)
isVariable() - Method in class com.articulate.sigma.Formula: Test whether the Formula is a variable
isVariable() - Method in class com.articulate.sigma.FormulaAST
isVariable(String) - Static method in class com.articulate.sigma.Formula: Test whether a String formula is a variable
isVariable(String) - Static method in class com.articulate.sigma.KB: A static utility method.
isVariable(String) - Static method in class com.articulate.sigma.nlg.NLGStringUtils: Is input string a variable (i.e., does it start with a question mark)?
isVariableArity(KB, String) - Static method in class com.articulate.sigma.KButilities
isVisible() - Method in class com.articulate.sigma.KB
isXmlAttribute(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List that constitutes the graph containing those XML elements and attributes syntactically subordinate to term in kb.

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form