Skip navigation links
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 Z _ 

A

acceptLit(ArrayList<String>) - Method in class com.articulate.sigma.semRewrite.Lexer
Take a list of expected literal strings.
acceptLit(String) - Method in class com.articulate.sigma.semRewrite.Lexer
Take a list of expected literal strings.
acceptTok(String) - Method in class com.articulate.sigma.semRewrite.Lexer
Take an expected token type.
acceptTok(ArrayList<String>) - Method in class com.articulate.sigma.semRewrite.Lexer
Take a list of expected token types.
addAllSenses(HashMap<String, Integer>) - Method in class com.articulate.sigma.Hotel
 
addBatchConfig(String, int) - Static method in class com.articulate.sigma.EProver
Update batch specification file.
addChildElement(SimpleElement) - Method in class com.articulate.sigma.SimpleElement
 
addConceptSentiment(HashMap<String, Integer>) - Method in class com.articulate.sigma.Hotel
 
addConceptSentimentScores(HashMap<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.
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.
addInput(String) - Method in class com.articulate.sigma.nlp.TFIDF
add a new document to the set
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
 
addNode(String, HashMap<String, DependencyConverter.Node>) - Method in class com.articulate.sigma.DependencyConverter
 
addProject(String) - Method in class com.articulate.sigma.User
 
address - Variable in class com.articulate.sigma.Hotel
 
address2 - Variable in class com.articulate.sigma.Hotel
 
addRole(String, String) - Method in class com.articulate.sigma.nlg.SumoProcessCollector
Add a new role/entity pair to this event.
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(TreeMap, 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, ArrayList<String>, String) - Static method in class com.articulate.sigma.SUMOKBtoTPTPKB
 
addToMapList(TreeMap, 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.
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.
addUnprocessed - Static variable in class com.articulate.sigma.semRewrite.Interpreter
 
addUnprocessed(ArrayList<String>, CNF) - Static method in class com.articulate.sigma.semRewrite.Interpreter
 
addUser(User) - Method in class com.articulate.sigma.PasswordService
 
addUtterance(String) - Method in class com.articulate.sigma.Document
Inserts a new utterance or utterances into the document updating coreferencing of the document.
addWordIndex(int) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
 
ADJECTIVE - Static variable in class com.articulate.sigma.WordNet
 
ADJECTIVE_SATELLITE - Static variable in class com.articulate.sigma.WordNet
 
adjectiveDocumentationHash - Variable in class com.articulate.sigma.WordNet
 
adjectiveSUMOHash - Variable in class com.articulate.sigma.WordNet
 
adjectiveSynsetHash - Variable in class com.articulate.sigma.WordNet
 
ADMIN_ROLE - Static variable in class com.articulate.sigma.PasswordService
 
ADVERB - Static variable in class com.articulate.sigma.WordNet
 
adverbDocumentationHash - Variable in class com.articulate.sigma.WordNet
 
adverbSUMOHash - Variable in class com.articulate.sigma.WordNet
 
adverbSynsetHash - Variable in class com.articulate.sigma.WordNet
 
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.
allAvailableLanguages() - Method in class com.articulate.sigma.KBmanager
Get the the complete list of languages available in all KBs
allCapsToSUMOID(String) - Static method in class com.articulate.sigma.StringUtil
 
allowedTerms - Static variable in class com.articulate.sigma.EditGUI
 
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.
amenities - Variable in class com.articulate.sigma.Hotel
 
amenityTerms - Static variable in class com.articulate.sigma.DB
 
AND - Static variable in class com.articulate.sigma.Formula
 
andOr - Static variable in class com.articulate.sigma.semRewrite.Lexer
 
annotate(String) - Method in class com.articulate.sigma.nlp.pipeline.Pipeline
 
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.
applyBindings(HashMap<String, String>) - Method in class com.articulate.sigma.semRewrite.Clause
 
applyBindings(HashMap<String, String>) - Method in class com.articulate.sigma.semRewrite.CNF
Apply variable substitutions to this set of clauses
applyBindings(HashMap<String, String>) - Method in class com.articulate.sigma.semRewrite.Literal
 
applyBindings(HashMap<String, String>) - Method in class com.articulate.sigma.semRewrite.RHS
Apply variable substitutions to this set of clauses TODO: note that a replace for ?A will erroneously match ?AB
applyBindingSelf(HashMap<String, String>) - Method in class com.articulate.sigma.semRewrite.Literal
Apply variable substitutions to a literal
areaServed - Variable in class com.articulate.sigma.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?
arg1 - Variable in class com.articulate.sigma.semRewrite.Literal
 
arg2 - Variable in class com.articulate.sigma.semRewrite.Literal
 
argsInit(Formula, List<String>) - Method in class com.articulate.sigma.nlg.StackElement
Init the formulaArgs for this StackElement.
argumentsToArrayList(int) - Method in class com.articulate.sigma.Formula
Return all the arguments in a simple formula as a list, starting at the given argument.
arityTest() - Static method in class com.articulate.sigma.PredVarInst
This method tries to remove literals from the Formula that match litArr.
arrayListToSpacedString(ArrayList<String>) - Static method in class com.articulate.sigma.StringUtil
Convert an arbitrary string to a legal KIF identifier by substituting dashes for illegal characters.
asCSV() - Method in class com.articulate.sigma.Hotel
 
asCSVHeader() - Static method in class com.articulate.sigma.Hotel
 
ask(String, int, String) - Method in class com.articulate.sigma.KB
Returns an ArrayList containing the Formulas that match the request.
ask(String, int, int) - Method in class com.articulate.sigma.KB
Submits a query to the inference engine.
askEngine(String, int, int, InferenceEngine) - Method in class com.articulate.sigma.KB
Submits a query to specified InferenceEngine object.
askLEO(String, int, int, String) - Method in class com.articulate.sigma.KB
Submits a query to the LEO inference engine.
askNoProof(String, int, int) - Method in class com.articulate.sigma.KB
Submits a query to the inference engine.
askSInE(String, int, int) - Method in class com.articulate.sigma.KB
Submits a query to the SInE inference engine.
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.
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.
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.
ASPECT_PERFECT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
ASPECT_PROGRESSIVE - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
ASPECT_PROGRESSIVE_PERFECT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
 
assertFacts(KB, TreeMap<String, ArrayList<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.EProver
Add an assertion for inference.
assertFormula(String, KB, EProver, ArrayList<Formula>, boolean) - Method in class com.articulate.sigma.EProver
Add an assertion for inference.
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.Vampire
Add an assertion.
asSUMORelationID(String) - Static method in class com.articulate.sigma.StringUtil
 
atom(String) - Static method in class com.articulate.sigma.Formula
Test whether the String is a LISP atom.
atom() - Method in class com.articulate.sigma.Formula
Test whether the Formula is a LISP atom.
attribute - Variable in class com.articulate.sigma.AVPair
 
attributes - Variable in class com.articulate.sigma.BasicXMLelement
The attributes of the tag in key=value form
autoir - Variable in class com.articulate.sigma.semRewrite.Interpreter
 
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.
AVPair - Class in com.articulate.sigma
 
AVPair() - Constructor for class com.articulate.sigma.AVPair
 
axiom - Variable in class com.articulate.sigma.ProofStep
A String containing a valid KIF expression, that is the axiom expressing the conclusion of this proof step.
A B C D E F G H I J K L M N O P Q R S T U V W Z _ 
Skip navigation links
Sigma API Specification