A-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

A

action - Variable in class com.articulate.sigma.dataProc.WikiMuscle.Record
action - Variable in class com.articulate.sigma.trans.DB2KIF
activeCount() - Static method in class com.articulate.sigma.EditorWorkerQueue
actual - Variable in class com.articulate.sigma.InferenceTestSuite.OneResult
actualAnswers - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData
addAccrelnDef(KB) - Static method in class com.articulate.sigma.trans.Modals: Add the signature for the Kripke accessibility relation
addAllNoDup(Collection<String>, Collection<String>) - Method in class com.articulate.sigma.Formula: Collects all String terms from one Collection and adds them to another, without duplication
addAllSafe(Collection, Collection) - Method in class com.articulate.sigma.KB: Add all members of one collection to another.
addAllSenses(Map<String, Integer>) - Method in class com.articulate.sigma.dataProc.Hotel
addBatchConfig(String, int) - Static method in class com.articulate.sigma.tp.EProver: Create or update batch specification file.
addChildElement(SimpleElement) - Method in class com.articulate.sigma.SimpleElement
addConceptSentiment(Map<String, Integer>) - Method in class com.articulate.sigma.dataProc.Hotel
addConceptSentimentScores(Map<String, Integer>, String, int) - Static method in class com.articulate.sigma.DB: Add new scores to existing scores.
addConstituent(String) - Method in class com.articulate.sigma.KB: Add a new KB constituent by reading in the file, and then merging the formulas with the existing set of formulas.
addConstituentInfo(KIF) - Method in class com.articulate.sigma.KB: Adds a formula or formulas into the KB
addConsumedCaseRole(CaseRole) - Method in class com.articulate.sigma.nlg.SVOElement
addDocGenControlBits(int) - Method in class com.articulate.sigma.DocGen: Adds val via bitwise OR to the int value that represents the bit values used to control the document generation process for this DocGen instance.
addDocGenControlBits(String) - Method in class com.articulate.sigma.DocGen: Adds via bitwise OR the bit value corresponding to token to the int value that represents the bit values used to control the document generation process for this DocGen instance.
addExplicitTypes(KB, Formula, Map<String, Set<String>>) - Static method in class com.articulate.sigma.PredVarInst: There are two type conditions: one type condition is extracted from domain expression; second type condition is specifically defined in the antecedent of a rule with an instance or subclass expression
addInstance(String, String) - Method in class com.articulate.sigma.KBcache
addKB(String) - Method in class com.articulate.sigma.KBmanager: Create a new empty KB with a name.
addKB(String, boolean) - Method in class com.articulate.sigma.KBmanager
addLabels(KB, Set<String>) - Static method in class com.articulate.sigma.Diagnostics: Make a table of terms and the files in which they are defined
addMultiWord(String) - Method in class com.articulate.sigma.wordNet.MultiWords: Add a multi-word string to the multiWord member variable.
addMultiWord(String, char) - Method in class com.articulate.sigma.wordNet.MultiWords: Add a multi-word string to the multiWord member variable.
addOnlyNonNumericTypes - Static variable in class com.articulate.sigma.FormulaPreprocessor
address - Variable in class com.articulate.sigma.dataProc.Hotel
address2 - Variable in class com.articulate.sigma.dataProc.Hotel
addRole(String, String) - Method in class com.articulate.sigma.nlg.SumoProcessCollector: Add a new role/entity pair to this event.
addRowVarStruct(String, FormulaAST.RowStruct) - Method in class com.articulate.sigma.parsing.FormulaAST
addSortals(FormulaAST) - Method in class com.articulate.sigma.parsing.Sortals: Find the most specific type constraint for each variable and create a new String of the formula with type guards
addSortals(FormulaAST, Map<String, Set<String>>) - Method in class com.articulate.sigma.parsing.Sortals: Add type guards to a formula by making it the consequent of a rule and making type tests into a new antecedent
addTermFormat(String, String, String) - Method in class com.articulate.sigma.KB: add to term format map HashMapinvalid input: '<'String, HashMapinvalid input: '<'String, String>>();
addToAxiomCount(Map<String, Integer>, Set<String>) - Static method in class com.articulate.sigma.KB: Keep a count of axioms
addToCurrProperties(String, SumoProcessEntityProperty) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Add the given key - property pair to the properties of the current stack element.
addToDoubleMapList(Map<String, Map<String, List<String>>>, String, String, String) - Static method in class com.articulate.sigma.Diagnostics: Add a key to a map and a key, value to the map corresponding to the key.
addToFile(String, List<String>, String) - Static method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
addToKeys(String, FormulaAST) - Method in class com.articulate.sigma.parsing.SuokifVisitor
addToMapList(Map<String, List<String>>, String, String) - Static method in class com.articulate.sigma.Diagnostics: Add a key to a map and a value to the ArrayList corresponding to the key.
addToWordFreq(String, AVPair) - Method in class com.articulate.sigma.wordNet.WordNet: Add an entry to the wordFrequencies list, checking whether it has a valid count and synset pair.
addTransitiveInstances() - Method in class com.articulate.sigma.KBcache: Add transitive relationships to instances in the "instances" map
addTypeRestrictions(Formula, KB) - Method in class com.articulate.sigma.FormulaPreprocessor: Add clauses for every variable in the antecedent to restrict its type to the type restrictions defined on every relation in which it appears.
addUser(String, String, String, String) - Method in class com.articulate.sigma.PasswordService: The working utility to add a user to the DB
ADJECTIVE - Static variable in class com.articulate.sigma.wordNet.WordNet
ADJECTIVE_SATELLITE - Static variable in class com.articulate.sigma.wordNet.WordNet
adjectiveDocumentationHash - Variable in class com.articulate.sigma.wordNet.WordNet
adjectiveSUMOHash - Variable in class com.articulate.sigma.wordNet.WordNet
adjectiveSynsetHash - Variable in class com.articulate.sigma.wordNet.WordNet
adjustArity(KB, Formula) - Static method in class com.articulate.sigma.trans.THFnew: Adding the world argument messes up pre-processing for variable arity relations, so we have to decrement the numerical suffix as a hack.
ADVERB - Static variable in class com.articulate.sigma.wordNet.WordNet
adverbDocumentationHash - Variable in class com.articulate.sigma.wordNet.WordNet
adverbSUMOHash - Variable in class com.articulate.sigma.wordNet.WordNet
adverbSynsetHash - Variable in class com.articulate.sigma.wordNet.WordNet
AFFIRMATIVE - Enum constant in enum class com.articulate.sigma.nlg.VerbProperties.Polarity
afterExecute(CCheck, Throwable) - Method in class com.articulate.sigma.CCheckManager: Removes the KB from the list of kbs currently being checked, and add it to the checkedKBs list.
AGENT - Enum constant in enum class com.articulate.sigma.nlg.CaseRole
allAvailableLanguages() - Method in class com.articulate.sigma.KBmanager: Get the the complete list of languages available in all KBs
allowableValues - Variable in class com.articulate.sigma.dataProc.Infrastructure
allowedHeads - Static variable in class com.articulate.sigma.trans.Modals
allowedTerms - Static variable in class com.articulate.sigma.EditGUI
allVarsCache - Variable in class com.articulate.sigma.Formula
allVarsCache - Variable in class com.articulate.sigma.FormulaAST
allVarsPairCache - Variable in class com.articulate.sigma.Formula
allVarsPairCache - Variable in class com.articulate.sigma.FormulaAST
alphaList - Variable in class com.articulate.sigma.DocGen: A TreeMap of TreeMaps of ArrayLists where the keys are uppercase single characters (of term formats or headwords) and the values are TreeMaps with a key of the term formats or headwords and ArrayList values of the actual term names.
alreadyExtended(String) - Static method in class com.articulate.sigma.trans.SUMOKBtoTFAKB
alreadyWrittenTPTPs - Variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
amenities - Variable in class com.articulate.sigma.dataProc.Hotel
amenityTerms - Static variable in class com.articulate.sigma.DB
analyzeBadUsages(KB) - Static method in class com.articulate.sigma.trans.THFnew
AND - Static variable in class com.articulate.sigma.Formula
AND - Static variable in class com.articulate.sigma.tp.GenPropFormulas
antagonist - Variable in class com.articulate.sigma.dataProc.WikiMuscle.Record
antecedent(Formula) - Static method in class com.articulate.sigma.FormulaUtil: Get the antecedent of an implication.
antecedentTerms - Variable in class com.articulate.sigma.parsing.FormulaAST
Antenna - Class in com.articulate.sigma.dataProc
Antenna() - Constructor for class com.articulate.sigma.dataProc.Antenna
aOrAn(String) - Static method in class com.articulate.sigma.nlg.Noun: Look at first letter of input to determine whether it should be preceded by "a" or "an".
append(Formula) - Method in class com.articulate.sigma.Formula: Returns the LISP 'append' of the formulas Note that this operation has no side effect on the Formula.
areaServed - Variable in class com.articulate.sigma.dataProc.Hotel
areFormulaArgsProcessed() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Are all the formula arguments processed in some way? Note that this method is called when the relevant args are not held at top of stack, but at top - 1.
areFormulaArgsProcessed(StackElement) - Static method in class com.articulate.sigma.nlg.LanguageFormatterStack: Have all the formula arguments for the given stack element been processed in some way?
argMap - Variable in class com.articulate.sigma.parsing.FormulaAST
argPos - Variable in class com.articulate.sigma.parsing.FormulaAST.ArgStruct
args - Variable in class com.articulate.sigma.Formula
argsInit(Formula, List<String>) - Method in class com.articulate.sigma.nlg.StackElement: Init the formulaArgs for this StackElement.
ArgStruct() - Constructor for class com.articulate.sigma.parsing.FormulaAST.ArgStruct
argumentsToArrayList(int) - Method in class com.articulate.sigma.Formula: Deprecated.
argumentsToArrayListString(int) - Method in class com.articulate.sigma.Formula: Return all the arguments in a simple formula as a list, starting at the given argument.
arity - Variable in class com.articulate.sigma.parsing.FormulaAST.RowStruct
ArityException - Exception Class in com.articulate.sigma.tp: Exception thrown when a formula has an incorrect arity for a predicate.
ArityException(String, String) - Constructor for exception class com.articulate.sigma.tp.ArityException: Create a new ArityException
arityTest() - Static method in class com.articulate.sigma.PredVarInst
artery - Variable in class com.articulate.sigma.dataProc.WikiMuscle.Record
asCSV() - Method in class com.articulate.sigma.dataProc.Hotel
asCSVHeader() - Static method in class com.articulate.sigma.dataProc.Hotel
ask(String, int, String) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing the Formulas that match the request.
askEngine(String, int, int, InferenceEngine) - Method in class com.articulate.sigma.KB: ************************************************************* Submits a query to specified InferenceEngine object.
askEProver(String, int, int) - Method in class com.articulate.sigma.KB: Submits a query to the E inference engine.
askLeo(String, int, int) - Method in class com.articulate.sigma.KB: Submits a query to the inference engine.
askNoProof(String, int, int) - Method in class com.articulate.sigma.KB: Submits a query to the inference engine.
askQuestion - Static variable in class com.articulate.sigma.tp.Vampire
askSInE(String, int, int) - Method in class com.articulate.sigma.KB: Submits a query to the SInE inference engine.
askVampire(String, int, int) - Method in class com.articulate.sigma.KB: Submits a query to the inference engine.
askVampireFormat(String, int, int) - Method in class com.articulate.sigma.KB: Return a SUMO-formatted proof string
askVampireForTQ(String, int, int, boolean) - Method in class com.articulate.sigma.KB
askVampireHOL(String, int, int, boolean) - Method in class com.articulate.sigma.KB: Ask Vampire HOL using the existing .thf axioms.
askVampireModensPonens(String, int, int) - Method in class com.articulate.sigma.KB: STEPS: 1 - AskVampire to get the first output 2 - Process the output to keep only the authored axioms 3 - Send new command to vampire with Modens Ponens options 4 - If wanted drop the one premise formulas.
askVampireTHF(String, int, int) - Method in class com.articulate.sigma.KB: Executes the Vampire automated theorem prover with higher-order logic (HOL) mode on a given THF problem file.
askVampireTPTP(String, int, int) - Method in class com.articulate.sigma.KB: Executes a Vampire theorem prover query on a given TPTP problem file.
askWithLiteral(Formula) - Method in class com.articulate.sigma.KB: This method retrieves formulas by asking the query expression queryLit, and returns the results, if any, in an ArrayList.
askWithLiteral(List<String>) - Method in class com.articulate.sigma.KB: This method retrieves Formulas by asking the query expression queryLit, and returns the results, if any, in an ArrayList.
askWithPredicateSubsumption(String, int, String) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing the Formulae retrieved, possibly via multiple asks that recursively use relation and all of its subrelations.
askWithRestriction(int, String, int, String) - Method in class com.articulate.sigma.KB
askWithTwoRestrictions(int, String, int, String, int, String) - Method in class com.articulate.sigma.KB: Returns an ArrayList of Formulas in which the two terms provided appear in the indicated argument positions.
assertFacts(KB, Map<String, List<String>>, String) - Static method in class com.articulate.sigma.EditGUI: Interpret a map as a key relation name and ArrayList of values as arguments.
assertFormula(String) - Method in class com.articulate.sigma.InferenceEngine: Add an assertion.
assertFormula(String) - Method in class com.articulate.sigma.SInE
assertFormula(String) - Method in class com.articulate.sigma.tp.EProver: Add an assertion for inference.
assertFormula(String, KB, EProver, List<Formula>, boolean) - Method in class com.articulate.sigma.tp.EProver: Add an assertion for inference.
assertFormula(String, KB, List<Formula>, boolean) - Static method in class com.articulate.sigma.tp.LEO: Add an assertion for inference.
assertFormula(String, KB, List<Formula>, boolean) - Static method in class com.articulate.sigma.tp.Vampire: Add an assertion for inference.
atom - Variable in class com.articulate.sigma.tp.GenPropFormulas
atom() - Method in class com.articulate.sigma.Formula: Test whether the Formula is a LISP atom.
atom() - Method in class com.articulate.sigma.FormulaAST
atom(String) - Static method in class com.articulate.sigma.Formula: Test whether the String is a LISP atom.
atomsToFormulas(List<String>) - Static method in class com.articulate.sigma.KB
ATPException - Exception Class in com.articulate.sigma.tp: Base exception class for all ATP (Automated Theorem Prover) related errors.
ATPException(String, String) - Constructor for exception class com.articulate.sigma.tp.ATPException: Simple constructor with just message and engine name
ATPException(String, String, ATPResult, List<String>, List<String>) - Constructor for exception class com.articulate.sigma.tp.ATPException: Simple constructor with just message and engine name
ATPException(String, String, Throwable) - Constructor for exception class com.articulate.sigma.tp.ATPException: Constructor with message, engine name, and cause
ATPException(String, String, List<String>, List<String>) - Constructor for exception class com.articulate.sigma.tp.ATPException: Simple constructor with just message and engine name
ATPException.Builder - Class in com.articulate.sigma.tp: Builder for constructing ATPException with full context
ATPResult - Class in com.articulate.sigma.tp: Generic result structure for ATP (Automated Theorem Prover) runs.
ATPResult() - Constructor for class com.articulate.sigma.tp.ATPResult: Default constructor
ATPResult.Builder - Class in com.articulate.sigma.tp: Builder for constructing ATPResult
ATTENDS - Enum constant in enum class com.articulate.sigma.nlg.CaseRole
attributes - Variable in class com.articulate.sigma.BasicXMLelement: The attributes of the tag in key=value form
attributes - Variable in class com.articulate.sigma.dataProc.Infrastructure.Product
attributes - Variable in class com.articulate.sigma.User: A HashMap of String keys and String values.
authenticate(String, String) - Method in class com.articulate.sigma.PasswordService: Take a user name and an encrypted password and compare it to an existing collection of users with encrypted passwords.
availableFormalLanguages - Static variable in class com.articulate.sigma.HTMLformatter
availableLanguages() - Method in class com.articulate.sigma.KB: Get an ArrayList of Strings containing the language identifiers of available natural language formatting templates.
AVATAR - Enum constant in enum class com.articulate.sigma.tp.Vampire.ModeType
axiom - Variable in class com.articulate.sigma.ProofStep: A String containing a valid SUO-KIF expression, that is the axiom expressing the conclusion of this proof step.
axiomIndex - Static variable in class com.articulate.sigma.tp.LEO
axiomIndex - Static variable in class com.articulate.sigma.tp.Vampire
axiomIndex - Static variable in class com.articulate.sigma.trans.CWAUNA
axiomKey - Static variable in class com.articulate.sigma.KB: maps TPTP axiom IDs to SUMO formulas
axiomKey - Static variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
axNum - Static variable in class com.articulate.sigma.trans.THFnew

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