- tagname - Variable in class com.articulate.sigma.BasicXMLelement
-
The name of the tag
- taID - Variable in class com.articulate.sigma.Hotel
-
- takesIndefiniteArticle(String, KB) - Static method in class com.articulate.sigma.nlg.Noun
-
Determine whether the given noun requires an indefinite article ("a"/"an").
- TaxoModel - Class in com.articulate.sigma
-
A model for an expandable tree widget
- TaxoModel() - Constructor for class com.articulate.sigma.TaxoModel
-
- TaxoNode - Class in com.articulate.sigma
-
Class that holds information about each node in the tree.
- TaxoNode() - Constructor for class com.articulate.sigma.TaxoNode
-
- tel - Variable in class com.articulate.sigma.Hotel
-
- tell(String) - Method in class com.articulate.sigma.KB
-
Adds a formula to the knowledge base.
- TENSE_FUTURE - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- TENSE_PAST - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
- TENSE_PRESENT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
-
Number and Tense static strings
- termFormatsToSynsets(KB) - Method in class com.articulate.sigma.WordNet
-
Generate a new synset from a termFormat
- terminate() - Method in class com.articulate.sigma.EProver
-
Terminate this instance of EProver.
- terminate() - Method in class com.articulate.sigma.InferenceEngine
-
Terminates this instance of InferenceEngine.
- terminate() - Method in class com.articulate.sigma.Vampire
-
Terminate this instance of Vampire.
- termIntersection(KB, String, String) - Static method in class com.articulate.sigma.KButilities
-
Get all formulas that contain both terms.
- termList(ArrayList<String>, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Show a hyperlinked list of terms.
- termMappingsList(String, String) - Static method in class com.articulate.sigma.HTMLformatter
-
Show a hyperlinked list of term mappings from WordNet.
- termMentionSuffix - Static variable in class com.articulate.sigma.Formula
-
- termPage - Static variable in class com.articulate.sigma.TaxoModel
-
- terms - Variable in class com.articulate.sigma.KB
-
A synchronized SortedSet of Strings, which are all the terms in the KB.
- terms - Variable in class com.articulate.sigma.KIF
-
The set of all terms in the knowledge base.
- termSeparator - Static variable in class com.articulate.sigma.Mapping
-
- termsNotBelowEntity(KB) - Static method in class com.articulate.sigma.Diagnostics
-
Return a list of terms that do not have Entity as a parent term.
- termsWithMultipleDoc(KB) - Static method in class com.articulate.sigma.Diagnostics
-
Return a list of terms that have more than one documentation string.
- termsWithoutDoc(KB) - Static method in class com.articulate.sigma.Diagnostics
-
Return a list of terms that do not have a documentation string.
- termsWithoutRelation(KB, String, int, int, char) - Static method in class com.articulate.sigma.Diagnostics
-
Return a list of terms (for a given argument position) that do not
have a specified relation.
- termsWithoutRules(KB) - Static method in class com.articulate.sigma.Diagnostics
-
Find all terms which do not appear in any implication (rule).
- termSymbolPrefix - Static variable in class com.articulate.sigma.Formula
-
- termVariablePrefix - Static variable in class com.articulate.sigma.Formula
-
- test(KB) - Static method in class com.articulate.sigma.CELTTestSuite
-
Reads a KIF file consisting of pairs of (sentence...
- test(String) - Static method in class com.articulate.sigma.DependencyConverter
-
Take in a single quoted sentence from the command line and
print out its dependency parse.
- test(KB) - Static method in class com.articulate.sigma.InferenceTestSuite
-
Convenience method that sets default parameters
- test(KB, String, int) - Static method in class com.articulate.sigma.InferenceTestSuite
-
Convenience method that sets some default parameters
- test(KB, String, int, String) - Static method in class com.articulate.sigma.InferenceTestSuite
-
The main method that controls running a set of tests and returning
the result as an HTML page showing test results and links to proofs.
- test() - Static method in class com.articulate.sigma.PredVarInst
-
- test1() - Static method in class com.articulate.sigma.Clausifier
-
A test method.
- testAddQuantification() - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- testAddTypes() - Static method in class com.articulate.sigma.FormulaPreprocessor
-
- testBigArgs() - Static method in class com.articulate.sigma.Formula
-
A test method.
- testClausifier(String[]) - Static method in class com.articulate.sigma.Clausifier
-
A test method.
- testClausifier(String[]) - Static method in class com.articulate.sigma.Formula
-
A test method.
- testCollectVariables() - Static method in class com.articulate.sigma.Formula
-
A test method.
- testComplexArgs() - Static method in class com.articulate.sigma.Formula
-
A test method.
- testContains() - Static method in class com.articulate.sigma.semRewrite.CNF
-
A test method
- testDocGenControlBits(int) - Method in class com.articulate.sigma.DocGen
-
Returns true if the bit values represented by valToTest are
among the control bits represented for this DocGen instance.
- testDocGenControlBits(String) - Method in class com.articulate.sigma.DocGen
-
Returns true if the bit values corresponding to token are among
the control bits represented for this DocGen instance.
- testE() - Static method in class com.articulate.sigma.TPTP3ProofProcessor
-
- testEquality() - Static method in class com.articulate.sigma.semRewrite.CNF
-
A test method
- testFindExplicit() - Static method in class com.articulate.sigma.FormulaPreprocessor
-
- testFindTypes() - Static method in class com.articulate.sigma.FormulaPreprocessor
-
- testFormatProof() - Static method in class com.articulate.sigma.ProofProcessor
-
- testInterpret() - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- testIsSimpleClause() - Static method in class com.articulate.sigma.Formula
-
A test method.
- testKmeans() - Static method in class com.articulate.sigma.nlp.KMeans
-
- testKmeans() - Static method in class com.articulate.sigma.nlp.KMeansVec
-
- testLit(String) - Method in class com.articulate.sigma.semRewrite.Lexer
-
- testLit(ArrayList<String>) - Method in class com.articulate.sigma.semRewrite.Lexer
-
- testMerge() - Static method in class com.articulate.sigma.semRewrite.CNF
-
A test method
- testParse() - Static method in class com.articulate.sigma.semRewrite.LHS
-
A test method
- testParse() - Static method in class com.articulate.sigma.semRewrite.Literal
-
A test method for parsing a Literal
- testParse() - Static method in class com.articulate.sigma.semRewrite.Rule
-
A test method
- testParseProc() - Static method in class com.articulate.sigma.semRewrite.LHS
-
A test method
- testParseProc2() - Static method in class com.articulate.sigma.semRewrite.LHS
-
A test method
- testParseProofFile() - Static method in class com.articulate.sigma.TPTP3ProofProcessor
-
- testParseProofStep() - Static method in class com.articulate.sigma.TPTP3ProofProcessor
-
- testParseSimple() - Static method in class com.articulate.sigma.semRewrite.CNF
-
A test method
- testPostProcess() - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- testPreserve() - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
A test method
- testProcessPointers() - Static method in class com.articulate.sigma.WordNet
-
A method used only for testing.
- testQuestionPreprocess() - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- testReadRuleSet() - Static method in class com.articulate.sigma.semRewrite.RuleSet
-
A test method
- testRegexUnify() - Static method in class com.articulate.sigma.semRewrite.Literal
-
A test method for wildcard unification
- testRemoveAnswer() - Static method in class com.articulate.sigma.ProofProcessor
-
- testReplaceVar() - Static method in class com.articulate.sigma.Formula
-
A test method.
- testRuleAndClausify() - Static method in class com.articulate.sigma.semRewrite.RuleSet
-
A test method
- testSentenceWSD() - Static method in class com.articulate.sigma.WSD
-
A method used only for testing.
- testSentiment() - Static method in class com.articulate.sigma.DB
-
- testSentimentCorpus() - Static method in class com.articulate.sigma.DB
-
- testTimeDateExtraction() - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- testTok(ArrayList<String>) - Method in class com.articulate.sigma.semRewrite.Lexer
-
Take a list of expected token types.
- testTok(String) - Method in class com.articulate.sigma.semRewrite.Lexer
-
Convenience method
- testTptpParse() - Static method in class com.articulate.sigma.SUMOformulaToTPTPformula
-
A test method.
- testUnify() - Static method in class com.articulate.sigma.semRewrite.CNF
-
A test method
- testUnify() - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- testUnify() - Static method in class com.articulate.sigma.semRewrite.Literal
-
A test method for unification
- testUnify2() - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- testUnify3() - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- testUnify4() - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- testWordFreq() - Static method in class com.articulate.sigma.WordNet
-
A method used only for testing.
- testWordWSD() - Static method in class com.articulate.sigma.WSD
-
A method used only for testing.
- testWSD() - Static method in class com.articulate.sigma.semRewrite.Interpreter
-
- textFileSentiment(String, boolean) - Static method in class com.articulate.sigma.DB
-
Compute sentiment for each line of a text file and output as CSV.
- TextFileUtil - Class in com.articulate.sigma.nlp
-
Created by areed on 3/4/15.
- TextFileUtil() - Constructor for class com.articulate.sigma.nlp.TextFileUtil
-
- textFormat(String) - Static method in class com.articulate.sigma.Formula
-
Format a formula for text presentation.
- textSentiment() - Static method in class com.articulate.sigma.DB
-
- textSentimentByPeriod() - Static method in class com.articulate.sigma.DB
-
- TFIDF - Class in com.articulate.sigma.nlp
-
- TFIDF(String) - Constructor for class com.articulate.sigma.nlp.TFIDF
-
- TFIDF(String, boolean) - Constructor for class com.articulate.sigma.nlp.TFIDF
-
- TFIDF(List<String>, String) - Constructor for class com.articulate.sigma.nlp.TFIDF
-
- TFIDF(String, String) - Constructor for class com.articulate.sigma.nlp.TFIDF
-
- tfidf - Static variable in class com.articulate.sigma.semRewrite.Interpreter
-
- TFIDFUtil - Class in com.articulate.sigma.nlp
-
Created by areed on 3/4/15.
- TFIDFUtil() - Constructor for class com.articulate.sigma.nlp.TFIDFUtil
-
- theFormula - Variable in class com.articulate.sigma.Formula
-
The formula.
- theTptpFormulas - Variable in class com.articulate.sigma.Formula
-
A list of TPTP formulas (Strings) that together constitute the
translation of theFormula.
- THF - Class in com.articulate.sigma
-
This class handles the conversion of problems (= axioms + queries)
from their KIF representation into a THF representation; THF is the
TPTP standard for classical higher-order logic, i.e.
- THF() - Constructor for class com.articulate.sigma.THF
-
- tick() - Method in class com.articulate.sigma.utils.ProgressPrinter
-
- TimeInfo - Class in com.articulate.sigma.semRewrite.datesandnumber
-
This class holds the necessary information for Time group namely hour, minute, second and the word number.
- TimeInfo() - Constructor for class com.articulate.sigma.semRewrite.datesandnumber.TimeInfo
-
- TIMESFN - Static variable in class com.articulate.sigma.Formula
-
- titleText - Variable in class com.articulate.sigma.DocGen
-
The document title text to be used for HTML generation
- toBase64(String, String) - Static method in class com.articulate.sigma.StringUtil
-
Given an input String encoded in charset, returns a String
representing the base-64 encoding of the input.
- toCanonicalClausalForm() - Method in class com.articulate.sigma.Clausifier
-
This method converts the SUO-KIF Formula to a canonical version
of clausal (resolution, conjunctive normal) form with Skolem
functions, following the procedure described in Logical
Foundations of Artificial Intelligence, by Michael Genesereth
and Nils Nilsson, 1987, pp.
- toCanonicalClausalForm(Formula) - Static method in class com.articulate.sigma.Clausifier
-
convenience method
- toCanonicalKifSpecialForm(boolean) - Method in class com.articulate.sigma.Clausifier
-
This method returns a canonical version of this Formula,
assumed to be a KIF "special" form, in which all internal
first-order KIF formulae are replaced by their canonical
versions, and all variables are renamed, in left to right
depth-first order of occurrence, starting from index 1.
- toCaseRole(String, KB) - Static method in enum com.articulate.sigma.nlg.CaseRole
-
Return a valid case role based on the string input.
- tocHeader - Variable in class com.articulate.sigma.DocGen
-
The header to be used for the the table of contents (or index
list) section during HTML generation.
- toDependenciesList(Annotation) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil
-
- toFileString() - Method in class com.articulate.sigma.SimpleElement
-
- toFileString(int) - Method in class com.articulate.sigma.SimpleElement
-
- toFOL(ArrayList<String>) - Method in class com.articulate.sigma.semRewrite.Interpreter
-
- toHTML(String) - Static method in class com.articulate.sigma.TaxoModel
-
- toHTML(String, int) - Method in class com.articulate.sigma.TaxoNode
-
- Tokens - Class in com.articulate.sigma.semRewrite.datesandnumber
-
This class holds the various data populated by the Stanford parser for Dates and Numbers.
- Tokens() - Constructor for class com.articulate.sigma.semRewrite.datesandnumber.Tokens
-
- tokenStack - Variable in class com.articulate.sigma.semRewrite.Lexer
-
- toKifNamespace(KB, String) - Method in class com.articulate.sigma.DocGen
-
Returns a SUO-KIF term denoting a namespace.
- toNamePasswordPairFrom64(String) - Method in class com.articulate.sigma.PasswordService
-
Accepts as input a base 64 String consisting of a user name and
password.
- toNaturalLanguage() - Method in class com.articulate.sigma.nlg.Sentence
-
Attempt to perform natural language generation on this object.
- toNaturalLanguage() - Method in class com.articulate.sigma.nlg.SumoProcessCollector
-
Translate this process and its case roles into natural language.
- toNegAndPosLitsWithRenameInfo() - Method in class com.articulate.sigma.Clausifier
-
TODO: Note mixed types in return List! Fixme!
This method converts the SUO-KIF Formula to an ArrayList of
clauses.
- toNegAndPosLitsWithRenameInfo(Formula) - Static method in class com.articulate.sigma.Clausifier
-
convenience method
- toOMWsynset(String) - Static method in class com.articulate.sigma.OMWordnet
-
Convert a 9-digit, POS-prefixed WordNet synset to a POS-suffix
OMW synset.
- toOpenQueryForNegatedDualForm() - Method in class com.articulate.sigma.Clausifier
-
This method returns an open Formula that constitutes a KIF
query expression, which is generated from the canonicalized
negation of the original Formula.
- toProlog() - Method in class com.articulate.sigma.Formula
-
Format a formula as a prolog statement.
- topSUMOInReviews(ArrayList<Hotel>) - Static method in class com.articulate.sigma.DB
-
Excludes cases of where the mapping is to multiple SUMO terms
- toSafeNamespaceDelimiter(String) - Static method in class com.articulate.sigma.StringUtil
-
Replaces the namespace delimiter in term with a string that is
safe for inference, and for all common file systems.
- toSafeNamespaceDelimiter(String, String) - Static method in class com.articulate.sigma.StringUtil
-
Replaces the namespace delimiter in term with a string that is
safe for inference and for all common file systems, but only if
kbHref is an empty string or == null.
- toString() - Method in class com.articulate.sigma.AVPair
-
- toString() - Method in class com.articulate.sigma.BasicXMLelement
-
Convert the XML element to a String.
- toString() - Method in class com.articulate.sigma.BasicXMLparser
-
Convert the XML hierarchy to a String.
- toString() - Method in class com.articulate.sigma.Clausifier
-
- toString() - Method in class com.articulate.sigma.Document
-
- toString() - Method in class com.articulate.sigma.Formula
-
Format a formula for text presentation.
- toString() - Method in class com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
-
- toString() - Method in class com.articulate.sigma.Hotel.JSONElement
-
- toString() - Method in class com.articulate.sigma.Hotel
-
- toString() - Method in class com.articulate.sigma.nlg.SumoProcess
-
Indirectly invoked by SumoProcessCollector.toString( ).
- toString() - Method in class com.articulate.sigma.nlg.SumoProcessCollector
-
Write out a string representing all the fields in this object.
- toString() - Method in class com.articulate.sigma.nlg.SumoProcessEntityProperty
-
- toString() - Method in class com.articulate.sigma.ProofStep
-
- toString() - Method in class com.articulate.sigma.semRewrite.Clause
-
- toString() - Method in class com.articulate.sigma.semRewrite.CNF
-
- toString() - Method in class com.articulate.sigma.semRewrite.LHS
-
- toString() - Method in class com.articulate.sigma.semRewrite.Literal
-
- toString() - Method in class com.articulate.sigma.semRewrite.RHS
-
- toString() - Method in class com.articulate.sigma.semRewrite.Rule
-
- toString() - Method in class com.articulate.sigma.semRewrite.RuleSet
-
- toString(int, boolean) - Method in class com.articulate.sigma.SimpleElement
-
- toString() - Method in class com.articulate.sigma.SimpleElement
-
- toString() - Method in class com.articulate.sigma.StreamTokenizer_s
-
Returns the string representation of the current stream token.
- toString() - Method in class com.articulate.sigma.TPTP3ProofProcessor
-
Convert bindings in list to string
- toString() - Method in class com.articulate.sigma.User
-
- totalTime - Static variable in class com.articulate.sigma.InferenceTestSuite
-
Total time
- toXML() - Method in class com.articulate.sigma.User
-
Create an XML-formatted String
- TPTP2SUMO - Class in com.articulate.sigma
-
- TPTP2SUMO() - Constructor for class com.articulate.sigma.TPTP2SUMO
-
- TPTP3ProofProcessor - Class in com.articulate.sigma
-
- TPTP3ProofProcessor() - Constructor for class com.articulate.sigma.TPTP3ProofProcessor
-
- TPTPidCounter - Static variable in class com.articulate.sigma.WordNetUtilities
-
- tptpOutputTest(String) - Static method in class com.articulate.sigma.KIF
-
Writes the TPTP output to a file.
- tptpParse(Formula, boolean, KB, List<Formula>) - Method in class com.articulate.sigma.SUMOformulaToTPTPformula
-
Parse formulae into TPTP format
Result is returned in _f.theTptpFormulas
- tptpParse(Formula, boolean, KB) - Method in class com.articulate.sigma.SUMOformulaToTPTPformula
-
Parse formulae into TPTP format
- tptpParse() - Method in class com.articulate.sigma.SUMOKBtoTPTPKB
-
This method translates the entire KB to TPTP format, storing
the translation for each Formula in the List identified by the
private member Formula.theTptpFormulas.
- tptpParseSUOKIFString(String, boolean) - Static method in class com.articulate.sigma.SUMOformulaToTPTPformula
-
Parse a single formula into TPTP format
- tptpProof(ArrayList<ProofStep>) - Static method in class com.articulate.sigma.ProofProcessor
-
Convert XML proof to TPTP format
- TPTPutil - Class in com.articulate.sigma
-
- TPTPutil() - Constructor for class com.articulate.sigma.TPTPutil
-
- transformTerm(String) - Static method in class com.articulate.sigma.TPTP2SUMO
-
remove termSymbolPrefix and termMentionSuffix
- transInstOf(String, String) - Method in class com.articulate.sigma.KBcache
-
Find whether the given instance has the given parent class.
- translateCurrProcessInstantiation(KB, Formula) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
If possible, translate the process instantiation and insert the translation into the topmost
stack element.
- transRels - Variable in class com.articulate.sigma.KBcache
-
all the transitive relations in the kb
- traverseNodes(DependencyConverter.Node) - Method in class com.articulate.sigma.DependencyConverter
-
- treeReplace(String, String, String) - Static method in class com.articulate.sigma.StringUtil
-
Performs a depth-first search of tree, replacing all terms
matching oldPattern with newTerm.
- trimBrackets(String) - Static method in class com.articulate.sigma.TPTP3ProofProcessor
-
Remove brackets if it contains
- trimParens(String) - Static method in class com.articulate.sigma.TPTP3ProofProcessor
-
Remove parentheses if it contains
- TT_EOF - Static variable in class com.articulate.sigma.StreamTokenizer_s
-
A constant indicating that the end of the stream has been read.
- TT_EOL - Static variable in class com.articulate.sigma.StreamTokenizer_s
-
A constant indicating that the end of the line has been read.
- TT_NUMBER - Static variable in class com.articulate.sigma.StreamTokenizer_s
-
A constant indicating that a number token has been read.
- TT_WORD - Static variable in class com.articulate.sigma.StreamTokenizer_s
-
A constant indicating that a word token has been read.
- ttype - Variable in class com.articulate.sigma.StreamTokenizer_s
-
After a call to the nextToken method, this field
contains the type of the token just read.
- type - Variable in class com.articulate.sigma.semRewrite.Lexer
-