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

T

tableaux - Variable in class com.articulate.sigma.tp.GenPropFormulas
tables - Static variable in class com.articulate.sigma.trans.KIF2DB
tagname - Variable in class com.articulate.sigma.BasicXMLelement: The name of the tag
taID - Variable in class com.articulate.sigma.dataProc.Hotel
takesIndefiniteArticle(String, KB) - Static method in class com.articulate.sigma.nlg.Noun: Determine whether the given noun requires an indefinite article ("a"/"an").
tallyAxioms(String) - Static method in class com.articulate.sigma.ProofProcessor: ************************************************************** Tally the number of appearances of a particular axiom label in a file.
target - Variable in class com.articulate.sigma.KButilities.GraphArc
TAUTOLOGY - Enum constant in enum class com.articulate.sigma.tp.SZSStatus
tautResults - Variable in class com.articulate.sigma.tp.GenPropFormulas
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.dataProc.Hotel
tell(String) - Method in class com.articulate.sigma.KB: Adds a formula to the knowledge base.
tell(String) - Method in class com.articulate.sigma.PythonAPI
tellRequiresBaseRegeneration(String) - Method in class com.articulate.sigma.KB: Return true if THIS input (about to be told) requires base regen.
Term() - Constructor for class com.articulate.sigma.FormulaAST.Term
TERM_MENTION_SUFFIX - Static variable in class com.articulate.sigma.Formula
TERM_SYMBOL_PREFIX - Static variable in class com.articulate.sigma.Formula
TERM_VARIABLE_PREFIX - Static variable in class com.articulate.sigma.Formula
termCache - Variable in class com.articulate.sigma.Formula
termCache - Variable in class com.articulate.sigma.FormulaAST
termCapDiff(KB) - Static method in class com.articulate.sigma.Diagnostics: Find all terms that differ only in capitalization
termDefsByFile(KB) - Static method in class com.articulate.sigma.Diagnostics: Make a table of terms and the files in which they are defined
termDefsByGivenFile(KB, Set<String>) - Static method in class com.articulate.sigma.Diagnostics: Make a table of terms and the files in which they are defined
termDepth(String) - Method in class com.articulate.sigma.KB: Submits a query to the LEO inference engine.
termDepthCache - Variable in class com.articulate.sigma.KB: a cache built through lazy evaluation of the taxonomic depth of each term
termFormatIndex(KB) - Static method in class com.articulate.sigma.KButilities: List all the terms and their termFormat expressions.
termFormatsToSynsets(KB) - Method in class com.articulate.sigma.wordNet.WordNet: Generate a new synset from a termFormat
termFrequency - Variable in class com.articulate.sigma.KB
termFrequency - Variable in class com.articulate.sigma.KIF: A hashMap to store term frequencies for each term in knowledge base
termFrequency - Variable in class com.articulate.sigma.KIFAST: A hashMap to store term frequencies for each term in knowledge base
terminate() - Method in class com.articulate.sigma.InferenceEngine: Terminates this instance of InferenceEngine.
terminate() - Method in class com.articulate.sigma.tp.ECNF: Terminate this instance of EProver.
terminate() - Method in class com.articulate.sigma.tp.EProver: Terminate this instance of EProver.
termIntersection(KB, String, String) - Static method in class com.articulate.sigma.KButilities: Get all formulas that contain both terms.
termList(List<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.
termNotBelowEntity(String, KB) - Static method in class com.articulate.sigma.Diagnostics: Return a list of terms that do not have Entity as a parent term.
termPage - Static variable in class com.articulate.sigma.TaxoModel
terms - Variable in class com.articulate.sigma.dataProc.Infrastructure.Mappings
terms - Variable in class com.articulate.sigma.KB: A 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.
terms - Variable in class com.articulate.sigma.KIFAST: 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, 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).
termWithoutRules(KB, String) - Static method in class com.articulate.sigma.Diagnostics: Term does not appear in any implication (rule).
test() - Static method in class com.articulate.sigma.KB
test() - Static method in class com.articulate.sigma.KIF: Test method for this class.
test() - Static method in class com.articulate.sigma.PredVarInst
test() - Static method in class com.articulate.sigma.trans.TPTPutil
test(KB) - Static method in class com.articulate.sigma.CELTTestSuite: Reads a KIF file consisting of pairs of (sentence...
test(KB) - Method in class com.articulate.sigma.InferenceTestSuite: Convenience method that sets default parameters
test(KB) - Static method in class com.articulate.sigma.trans.THF
test(KB) - Static method in class com.articulate.sigma.trans.THFnew
test(KB, int, String) - 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(KB, String, int) - Method in class com.articulate.sigma.InferenceTestSuite: Convenience method that sets some default parameters
test(String[]) - Static method in class com.articulate.sigma.SInE: A simple test to load a KB file and pose a query, which are the first and second item, respectively, given on the command line.
test1() - Static method in class com.articulate.sigma.Clausifier: A test method.
test1() - Static method in class com.articulate.sigma.nlg.LanguageFormatter
test1() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
test10() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
test2() - Static method in class com.articulate.sigma.nlg.LanguageFormatter
test2() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
test3() - Static method in class com.articulate.sigma.nlg.LanguageFormatter
test3() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
test4() - Static method in class com.articulate.sigma.nlg.LanguageFormatter
test4() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
test5() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
test6() - Static method in class com.articulate.sigma.FormulaPreprocessor
test6() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
test7() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
test8() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
test9() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
testAddTypes() - Static method in class com.articulate.sigma.FormulaPreprocessor
testArg2ArrayList() - Static method in class com.articulate.sigma.Formula: A test method.
testBigArgs() - Static method in class com.articulate.sigma.Formula: A test method.
testBinarize() - Static method in class com.articulate.sigma.Prenexifier
testCar1() - Static method in class com.articulate.sigma.Formula: A test method.
testClausifier(String[]) - Static method in class com.articulate.sigma.Clausifier: A test method.
testCollectVariables() - Static method in class com.articulate.sigma.Formula: A test method.
testCommonParent() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: A method used only for testing.
testComplexArgs() - Static method in class com.articulate.sigma.Formula: A test method.
testCourse() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
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.
testFindExplicit() - Static method in class com.articulate.sigma.FormulaPreprocessor
testFindTypes() - Static method in class com.articulate.sigma.FormulaPreprocessor
testFive() - Static method in class com.articulate.sigma.FormulaPreprocessor
testFormatProof() - Static method in class com.articulate.sigma.ProofProcessor
testFormatProof2(String) - Static method in class com.articulate.sigma.ProofProcessor
testFour() - Static method in class com.articulate.sigma.FormulaPreprocessor
testGetPOS() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
testIsSimpleClause() - Static method in class com.articulate.sigma.Formula: A test method.
testIsValidKey() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: A method used only for testing.
testOne() - Static method in class com.articulate.sigma.FormulaPreprocessor
testProcessPointers() - Static method in class com.articulate.sigma.wordNet.WordNet: A method used only for testing.
testRelEmbed() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
testRelExtract() - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
testRemoveAnswer() - Static method in class com.articulate.sigma.ProofProcessor
testReplaceVar() - Static method in class com.articulate.sigma.Formula: A test method.
testSentenceWSD() - Static method in class com.articulate.sigma.wordNet.WSD: A method used only for testing.
testSentenceWSD2() - Static method in class com.articulate.sigma.wordNet.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
TestSQUAD - Class in com.articulate.sigma.mlpipeline
TestSQUAD() - Constructor for class com.articulate.sigma.mlpipeline.TestSQUAD
testSynesthesia() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
testThree() - Static method in class com.articulate.sigma.FormulaPreprocessor
testTptpParse() - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula: A test method.
testTptpParse2() - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula: A test method.
testTptpParse3() - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula: A test method.
testTptpParse4() - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula: A test method.
testTwo() - Static method in class com.articulate.sigma.FormulaPreprocessor
testWord() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities
testWordFreq() - Static method in class com.articulate.sigma.wordNet.WordNet: A method used only for testing.
testWordWSD() - Static method in class com.articulate.sigma.wordNet.WSD: A method used only for testing.
textFileSentiment(String, boolean) - Static method in class com.articulate.sigma.DB: Compute sentiment for each line of a text file and output as CSV.
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
TFF_ENTITY - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB
TFF_INT - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB
TFF_RAT - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB
TFF_REAL - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB
tffSorts - Variable in class com.articulate.sigma.Formula
theFofFormulas - Variable in class com.articulate.sigma.Formula: FOF (First-Order Form) translation cache - separate from TFF to prevent overwrites
THEOREM - Enum constant in enum class com.articulate.sigma.tp.SZSStatus
theTffFormulas - Variable in class com.articulate.sigma.Formula: TFF (Typed First-order Form) translation cache - separate from FOF to prevent overwrites
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.trans: 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.trans.THF: reset the axiom counters
THFnew - Class in com.articulate.sigma.trans
THFnew() - Constructor for class com.articulate.sigma.trans.THFnew
THFutil - Class in com.articulate.sigma.trans
THFutil() - Constructor for class com.articulate.sigma.trans.THFutil
threshold - Static variable in class com.articulate.sigma.wordNet.WSD
timedOut(boolean) - Method in class com.articulate.sigma.tp.ATPResult.Builder
timeout - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData
timeout(String, long, long, List<String>, List<String>) - Static method in class com.articulate.sigma.tp.ATPResult: Create an ATPResult for a timeout
TIMEOUT - Enum constant in enum class com.articulate.sigma.tp.SZSStatus
timeoutMs(long) - Method in class com.articulate.sigma.tp.ATPException.Builder
timeoutMs(long) - Method in class com.articulate.sigma.tp.ATPResult.Builder
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
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 class 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.
toDB(Connection) - Method in class com.articulate.sigma.User: Save the object in the relational DB
toEnglish(String) - Static method in class com.articulate.sigma.nlg.LanguageFormatter: generate English paraphrase
toFileString() - Method in class com.articulate.sigma.SimpleElement
toFileString(int) - Method in class com.articulate.sigma.SimpleElement
toFOFLine(TPTPFormula) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor: Format a TPTPFormula as a single fof(...) line.
toggleRole(Connection) - Method in class com.articulate.sigma.User: Toggle user role between 'guest' and 'user'
toHTML(String) - Static method in class com.articulate.sigma.TaxoModel
toHTML(String, int) - Method in class com.articulate.sigma.TaxoNode
toJSONString() - Method in class com.articulate.sigma.KButilities.GraphArc
tok - Variable in class com.articulate.sigma.wordNet.BrownCorpus.Token
Token() - Constructor for class com.articulate.sigma.wordNet.BrownCorpus.Token
tokens - Variable in class com.articulate.sigma.wordNet.BrownCorpus.Sentence
toKIF(List<List<String>>, boolean) - Method in class com.articulate.sigma.trans.DB2KIF
toKifNamespace(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a SUO-KIF term denoting a namespace.
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.wordNet.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.
toProlog(Formula) - Static method in class com.articulate.sigma.FormulaUtil: Must check that this is a simple clause before calling!
topSUMOInReviews(List<Hotel>) - Static method in class com.articulate.sigma.DB: Excludes cases of where the mapping is to multiple SUMO terms
toString() - Method in class com.articulate.sigma.BasicXMLelement
toString() - Method in class com.articulate.sigma.BasicXMLparser
toString() - Method in class com.articulate.sigma.Clausifier
toString() - Method in class com.articulate.sigma.dataProc.Hotel.JSONElement
toString() - Method in class com.articulate.sigma.dataProc.Hotel
toString() - Method in class com.articulate.sigma.dataProc.Infrastructure.Category
toString() - Method in class com.articulate.sigma.dataProc.Infrastructure.Product
toString() - Method in class com.articulate.sigma.Derivation: Return a string for the derivation
toString() - Method in class com.articulate.sigma.ErrRec
toString() - Method in class com.articulate.sigma.Formula: Format a formula for text presentation.
toString() - Method in class com.articulate.sigma.FormulaAST
toString() - Method in class com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
toString() - Method in class com.articulate.sigma.KB
toString() - Method in class com.articulate.sigma.KButilities.GraphArc
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.parsing.FormulaAST.ArgStruct
toString() - Method in class com.articulate.sigma.parsing.FormulaAST.RowStruct
toString() - Method in class com.articulate.sigma.ProofStep
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.tp.ATPResult
toString() - Method in class com.articulate.sigma.tp.ECNF
toString() - Method in class com.articulate.sigma.tp.EProver
toString() - Method in class com.articulate.sigma.tp.GenPropFormulas: convert to a string
toString() - Method in class com.articulate.sigma.tp.LEO
toString() - Method in enum class com.articulate.sigma.tp.SZSStatus
toString() - Method in class com.articulate.sigma.tp.Vampire
toString() - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor
toString() - Method in class com.articulate.sigma.User
toString() - Method in class com.articulate.sigma.VariableMapping
toString() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Doc
toString() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Para
toString() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Sentence
toString() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Token
toString(int, boolean) - Method in class com.articulate.sigma.SimpleElement
toStringMeta() - Method in class com.articulate.sigma.Formula: Format a formula for text presentation include file and line#.
toSUMO(String) - Static method in class com.articulate.sigma.trans.TPTP2SUMO: Convert a TPTP formula (with metadata) to SUMO
toSUMObyParent() - Method in class com.articulate.sigma.dataProc.Infrastructure
totalTime - Static variable in class com.articulate.sigma.InferenceTestSuite: Total time
toText() - Method in class com.articulate.sigma.wordNet.BrownCorpus.Sentence
tpp - Variable in class com.articulate.sigma.tp.GenPropFormulas
TPTP - Enum constant in enum class com.articulate.sigma.trans.TPTP3ProofProcessor.GraphFormulaFormat
TPTP2SUMO - Class in com.articulate.sigma.trans
TPTP2SUMO() - Constructor for class com.articulate.sigma.trans.TPTP2SUMO
TPTP3ProofProcessor - Class in com.articulate.sigma.trans
TPTP3ProofProcessor() - Constructor for class com.articulate.sigma.trans.TPTP3ProofProcessor: ***************************************************************
TPTP3ProofProcessor.GraphFormulaFormat - Enum Class in com.articulate.sigma.trans
TPTPFileChecker - Class in com.articulate.sigma
TPTPFileChecker() - Constructor for class com.articulate.sigma.TPTPFileChecker
TPTPGenerationManager - Class in com.articulate.sigma.trans: Coordinates background generation of TPTP translation files.
TPTPGenerationManager() - Constructor for class com.articulate.sigma.trans.TPTPGenerationManager
TPTPidCounter - Static variable in class com.articulate.sigma.wordNet.WordNetUtilities
tptpOutputTest(String) - Static method in class com.articulate.sigma.KIF: Writes the TPTP output to a file.
tptpParse(Formula, boolean, KB) - Method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula: Deprecated.
tptpParse(Formula, boolean, KB, Set<Formula>) - Method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula: Deprecated.
tptpParseSUOKIFString(String, boolean) - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula: Parse a single formula into TPTP format.
tptpParseSUOKIFString(String, boolean, String) - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula: Parse a single formula into TPTP format.
tptpProof(List<ProofStep>) - Static method in class com.articulate.sigma.ProofProcessor: Convert XML proof to TPTP format
tptpStep - Static variable in class com.articulate.sigma.nlg.LanguageFormatter
TPTPutil - Class in com.articulate.sigma.trans
TPTPutil() - Constructor for class com.articulate.sigma.trans.TPTPutil
TPTPWriter - Class in com.articulate.sigma.parsing
TPTPWriter() - Constructor for class com.articulate.sigma.parsing.TPTPWriter
tqRequiresBaseRegeneration() - Method in class com.articulate.sigma.KB: Return true if the current TQ user assertions require rebuilding the base SUMO..
transformTerm(String) - Static method in class com.articulate.sigma.trans.TPTP2SUMO: remove TERM_SYMBOL_PREFIX and TERM_MENTION_SUFFIX
transInstOf(String, String) - Method in class com.articulate.sigma.KBcache: Find whether the given instance has the given parent class.
translate(String[]) - Static method in class com.articulate.sigma.parsing.TPTPWriter
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.
TRANSLATED - Enum constant in enum class com.articulate.sigma.nlg.StackElement.StackState
translateName(String) - Static method in class com.articulate.sigma.trans.SUMOKBtoTFAKB
translateSort(KB, String) - Static method in class com.articulate.sigma.trans.SUMOKBtoTFAKB: Translate SUMO class names to their appropriate TFF sort
translateWord(String, int, boolean) - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula: Encapsulates translateWord_1, which translates the logical operators and inequalities in SUO-KIF to their TPTP equivalents.
translateWord(Map<String, String>, String) - Static method in class com.articulate.sigma.nlg.LanguageFormatter: Return the NL format of an individual word.
transModalTHF(KB) - Static method in class com.articulate.sigma.trans.THF
transModalTHF(KB) - Static method in class com.articulate.sigma.trans.THFnew
transPlainTHF(KB) - Static method in class com.articulate.sigma.trans.THFnew
transRels - Variable in class com.articulate.sigma.KBcache
transTHF(KB) - Static method in class com.articulate.sigma.trans.THF
treeReplace(String, String, String) - Static method in class com.articulate.sigma.FormulaUtil: Performs a depth-first search of tree, replacing all terms matching oldPattern with newTerm.
truthTables - Variable in class com.articulate.sigma.tp.GenPropFormulas
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.
Tuple() - Constructor for class com.articulate.sigma.VerbNet.Frame.Tuple
type - Variable in class com.articulate.sigma.ErrRec
type - Variable in class com.articulate.sigma.wordNet.BrownCorpus.Token
TYPE_ERROR - Enum constant in enum class com.articulate.sigma.tp.SZSStatus
typeConflict(Formula) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Reject formulas that wind up with type conflicts despite all attempts to resolve them

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