- Ident - Static variable in class com.articulate.sigma.semRewrite.Lexer
-
- IdiomSubstitutor - Class in com.articulate.sigma.semRewrite.substitutor
-
- IdiomSubstitutor(List<CoreLabel>) - Constructor for class com.articulate.sigma.semRewrite.substitutor.IdiomSubstitutor
-
- IF - Static variable in class com.articulate.sigma.Formula
-
- IFF - Static variable in class com.articulate.sigma.Formula
-
- ignorablePronouns - Static variable in class com.articulate.sigma.nlp.CorefSubstitutor
-
- imageNetLinks() - Method in class com.articulate.sigma.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
- Implies - Static variable in class com.articulate.sigma.semRewrite.Lexer
-
- indent(int, String) - Static method in class com.articulate.sigma.StringUtil
-
- 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.
- inference - Variable in class com.articulate.sigma.semRewrite.Interpreter
-
- 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
-
- inferenceType - Variable in class com.articulate.sigma.ProofStep
-
A String of the inference type, e.g.
- inferenceUnitTest(String, KB, ArrayList, ArrayList<String>) - Static 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 E's inference output for actual answers;
Note that this procedure DOES NOT delete any prior user assertions.
- 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.
- initialize() - Method in class com.articulate.sigma.semRewrite.Interpreter
-
- 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 - 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.OWLtranslator
-
- initNeeded - Static variable in class com.articulate.sigma.WordNet
-
- initOnce - Static variable in class com.articulate.sigma.EditGUI
-
- initOnce() - Static method in class com.articulate.sigma.EditGUI
-
- initOnce(String) - Static method in class com.articulate.sigma.OWLtranslator
-
- initOnce() - Static method in class com.articulate.sigma.WordNet
-
Read the WordNet files only on initialization of the class.
- input - Variable in class com.articulate.sigma.semRewrite.Lexer
-
- InputStream(InputStream) - Constructor for class com.articulate.sigma.Base64.InputStream
-
- InputStream(InputStream, int) - Constructor for class com.articulate.sigma.Base64.InputStream
-
- insertFormulaArgs(Formula) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Insert the given formula arguments into the topmost element of the stack.
- 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
-
Parent relations from instances, including those that are
transitive through (instance,instance) relations, such as
subAttribute and subrelation
- 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
-
- instantiatePredVars(Formula, KB) - Static method in class com.articulate.sigma.PredVarInst
-
- instantiateVariables() - Method in class com.articulate.sigma.Clausifier
-
Create constants to fill variables.
- 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
-
all the transitive relations between instances in the kb
- integerToPaddedString(int, int) - Static method in class com.articulate.sigma.Formula
-
- interact() - Static method in class com.articulate.sigma.nlp.KMeans
-
- interact() - Static method in class com.articulate.sigma.nlp.KMeansVec
-
- interpInter() - Method in class com.articulate.sigma.semRewrite.Interpreter
-
- interpret(String) - Method in class com.articulate.sigma.semRewrite.Interpreter
-
Take in a any number of sentences and return kif strings of declaratives
or answer to questions.
- interpretCNF(ArrayList<CNF>) - Method in class com.articulate.sigma.semRewrite.Interpreter
-
- Interpreter - Class in com.articulate.sigma.semRewrite
-
- Interpreter() - Constructor for class com.articulate.sigma.semRewrite.Interpreter
-
- Interpreter(RuleSet) - Constructor for class com.articulate.sigma.semRewrite.Interpreter
-
- InterpretNumerics - Class in com.articulate.sigma.semRewrite.datesandnumber
-
- InterpretNumerics() - Constructor for class com.articulate.sigma.semRewrite.datesandnumber.InterpretNumerics
-
- interpretSingle(String) - Method in class com.articulate.sigma.semRewrite.Interpreter
-
Take in a single sentence and output an English answer.
- ir - Static variable in class com.articulate.sigma.semRewrite.Interpreter
-
- isAttribute(KB, String) - Static method in class com.articulate.sigma.KButilities
-
- isBalancedList() - Method in class com.articulate.sigma.Formula
-
Returns true if the Formula contains no unbalanced parentheses
or unbalanced quote characters, otherwise returns false.
- isCached() - Method in class com.articulate.sigma.Formula
-
Test whether the Formula is automatically created by caching
- isCELTclass(Literal) - Static method in class com.articulate.sigma.semRewrite.Procedures
-
CELT classes which are not SUMO classes, like "person"
- 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
-
- isCNFSubsumed(CNF, CNF) - Static method in class com.articulate.sigma.semRewrite.SemRewriteRuleCheck
-
//TODO
- isCNFSubsumedNaive(CNF, CNF) - Static method in class com.articulate.sigma.semRewrite.SemRewriteRuleCheck
-
check if CNF subsumed, naive implementation
- 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.
- 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.
- isDataType(KB, String) - Method in class com.articulate.sigma.DocGen
-
- isDayFlag() - Method in class com.articulate.sigma.semRewrite.datesandnumber.FlagUtilities
-
- isDigitString(String) - Static method in class com.articulate.sigma.StringUtil
-
Returns true if every char in input is a digit char, else
returns false.
- isDuration() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
-
- isEmpty() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Is the stack empty?
- isEmpty() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
-
- isEmpty(Object) - Static method in class com.articulate.sigma.SetUtil
-
Returns true if obj is not a Collection (including if obj ==
null) or if obj is an empty Collection.
- isEmptyList(Object) - Static method in class com.articulate.sigma.KB
-
- isExistentiallyQuantified() - Method in class com.articulate.sigma.Formula
-
Tests if this formula is an existentially quantified formula
- isExplicitDisjoint(HashMap<String, HashSet<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.
- isFile(String) - Method in class com.articulate.sigma.WordNet
-
- isFunction(String) - Static method in class com.articulate.sigma.Formula
-
Returns true if term is a SUO-KIF function, else returns false.
- isFunction(KB, String) - Static method in class com.articulate.sigma.KButilities
-
- isFunctionalTerm() - Method in class com.articulate.sigma.Formula
-
Test whether a Formula is a functional term.
- isFunctionalTerm(String) - Static method in class com.articulate.sigma.Formula
-
Test whether a Formula is a functional term
- isGround(String) - Static method in class com.articulate.sigma.Formula
-
Returns true if formula is a valid formula with no variables,
else returns false.
- isGround() - Method in class com.articulate.sigma.Formula
-
Returns true if formula has variable, else returns false.
- isGround() - Method in class com.articulate.sigma.semRewrite.Literal
-
- isHigherOrder() - Method in class com.articulate.sigma.Formula
-
Test whether a Formula contains a Formula as an argument to
other than a logical operator.
- isHorn() - 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
-
- isHyponymRecurse(String, String, ArrayList<String>) - Method in class com.articulate.sigma.WordNet
-
- isInstance(String) - Method in class com.articulate.sigma.KB
-
- isInstance(KB, String) - Static method in class com.articulate.sigma.KButilities
-
- 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.
- isInstanceOf(Literal) - Static method in class com.articulate.sigma.semRewrite.Procedures
-
- isInstanceOfCache - Static variable in class com.articulate.sigma.DocGen
-
Supports memoization for isInstanceOf(kb, c1, c2).
- isKnownCaseRole(String) - Static method in enum 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).
- isLocalTermReference(String) - Static method in class com.articulate.sigma.StringUtil
-
- isLogicalOperator(String) - Static method in class com.articulate.sigma.Formula
-
Returns true if term is a standard FOL logical operator, 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.
- isModal(String) - Static method in class com.articulate.sigma.DependencyConverter
-
- isMonthFlag() - Method in class com.articulate.sigma.semRewrite.datesandnumber.FlagUtilities
-
- 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
-
- isNonEmptyString(Object) - Static method in class com.articulate.sigma.StringUtil
-
- isNumeric(String) - Static method in class com.articulate.sigma.StringUtil
-
- 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.
- isQuotedString(String) - Static method in class com.articulate.sigma.StringUtil
-
Returns true if input appears to be a quoted String, else
returns false.
- isRelation(KB, String) - Static method in class com.articulate.sigma.KButilities
-
- 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.
- isRule() - Method in class com.articulate.sigma.Formula
-
Returns true only if this Formula, explicitly quantified or
not, starts with "=>" or "<=>", else returns false.
- isRuleSubsumedByRuleSet(Rule, RuleSet, ArrayList<Integer>, ArrayList<Integer>) - Static method in class com.articulate.sigma.semRewrite.SemRewriteRuleCheck
-
get all the Rules in Ruleset that would be subsumed or subsums the rule r
should pass in the arraylist as result space
- isSimpleClause() - Method in class com.articulate.sigma.Formula
-
Test whether a Formula is a simple list of terms (including
functional terms).
- isSimpleNegatedClause() - 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.
- isSkolemTerm(String) - Static method in class com.articulate.sigma.Formula
-
Returns true if term is a SUO-KIF Skolem term, else returns false.
- isStopWord(String) - Method in class com.articulate.sigma.WordNet
-
Check whether the word is a stop word
- isStringWithSpaces(String) - Static method in class com.articulate.sigma.StringUtil
-
Returns true if input is a String containing some whitespace
chars, else returns false.
- 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.
- isSubAttribute(Literal) - Static method in class com.articulate.sigma.semRewrite.Procedures
-
- 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.
- isSubclass(Literal) - Static method in class com.articulate.sigma.semRewrite.Procedures
-
- isTerm(String) - Static method in class com.articulate.sigma.Formula
-
Returns true if term is a valid SUO-KIF term, else
returns false.
- isUniversallyQuantified() - Method in class com.articulate.sigma.Formula
-
Tests if this formula is an universally quantified formula
- isUri(String) - Static method in class com.articulate.sigma.StringUtil
-
Returns true if input appears to be a URI string, else returns
false.
- isUserAuthenticated(String) - Method in class com.articulate.sigma.PasswordService
-
Accepts as input a base 64 String consisting of a user name and
password.
- isValidTerm(String) - Static method in class com.articulate.sigma.Mapping
-
check whether a term is valid (worthy of being compared)
- isVariable(String) - Static method in class com.articulate.sigma.Formula
-
Test whether a String formula is a variable
- isVariable() - Method in class com.articulate.sigma.Formula
-
Test whether the 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)?
- 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.
- isYearFlag() - Method in class com.articulate.sigma.semRewrite.datesandnumber.FlagUtilities
-