Index (sigma-component 2.09 API)

A B C D E F G H I J K L M N O P Q R S T U V W X 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
addAttribute(String) - Method in class edu.dlsu.SUMOs.obj.Instance
addAttributeCnt() - Method in class edu.dlsu.SUMOs.obj.Rule
addAxioms(TreeSet, TreeSet) - Static method in class TPTPWorld.LooksDifferent
addBatchConfig(String, int) - Static method in class com.articulate.sigma.EProver: Update batch specification file.
addBinding(String) - Method in class TPTPWorld.Binding
addCharacter(int) - Method in class edu.dlsu.SUMOs.obj.Input
addChildCharacter(int) - Method in class edu.dlsu.SUMOs.obj.Input
addChildElement(SimpleElement) - Method in class com.articulate.sigma.SimpleElement
addColumn(String, String, String) - Method in class com.articulate.delphi.Delphi
addColumn(String) - Method in class com.articulate.delphi.Table
addColumn(String) - Method in class com.articulate.delphi.TableAverage
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.
addGroups(Map<CoreLabelSequence, CoreLabelSequence>) - Method in class com.articulate.sigma.semRewrite.substitutor.SimpleSubstitutorStorage
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
addMultiWord(String) - Method in class com.articulate.sigma.wordNet.MultiWords: Add a multi-word string to the multiWord member variable.
addNode(String, HashMap<String, DependencyConverter.Node>) - Method in class com.articulate.sigma.DependencyConverter
addObject(int) - Method in class edu.dlsu.SUMOs.obj.Input
addParent(TPTPFormula) - Method in class TPTPWorld.TPTPFormula
addProject(String) - Method in class com.articulate.sigma.User
addQuantification(String) - Method in class com.articulate.sigma.semRewrite.Interpreter
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.
addRow(String, String, String) - Method in class com.articulate.delphi.Delphi
addRow(String) - Method in class com.articulate.delphi.Table
addRow(String) - Method in class com.articulate.delphi.TableAverage
addSource(SimpleTptpParserOutput.Source) - Method in class tptp_parser.SimpleTptpParserOutput.Annotations
addSource(TptpParserOutput.Source) - Method in class tptp_parser.SimpleTptpParserOutput.Source.ListOfSources
addTable(Table) - Method in class com.articulate.delphi.TableAverage
addToConjecture(String, ArrayList<Binding>) - Static method in class TPTPWorld.LooksDifferent
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
addUsefulInfo(SimpleTptpParserOutput.InfoItem) - Method in class tptp_parser.SimpleTptpParserOutput.Annotations
addUser(User) - Method in class com.articulate.delphi.PasswordService
addUser(User) - Method in class com.articulate.sigma.PasswordService
addUtterance(String) - Method in class com.articulate.sigma.Document: Deprecated.
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.
ALL - Static variable in interface tptp_parser.TptpTokenTypes
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
allSolutions() - Method in class jpl.Query
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
AND - Static variable in interface tptp_parser.TptpTokenTypes
andOr - Static variable in class com.articulate.sigma.semRewrite.Lexer
annotate(String) - Method in class com.articulate.sigma.nlp.pipeline.Pipeline
AnnotatedClause(String, TptpParserOutput.FormulaRole, TptpParserOutput.CnfFormula, TptpParserOutput.Annotations, int) - Constructor for class tptp_parser.SimpleTptpParserOutput.AnnotatedClause
AnnotatedFormula(String, TptpParserOutput.FormulaRole, TptpParserOutput.FofFormula, TptpParserOutput.Annotations, int) - Constructor for class tptp_parser.SimpleTptpParserOutput.AnnotatedFormula
annotateDocument(String) - Method in class com.articulate.sigma.Document
AnnotatedThfFormula(String, TptpParserOutput.FormulaRole, TptpParserOutput.ThfFormula, TptpParserOutput.Annotations, int) - Constructor for class tptp_parser.SimpleTptpParserOutput.AnnotatedThfFormula
Annotations(TptpParserOutput.Source, Iterable<TptpParserOutput.InfoItem>) - Constructor for class tptp_parser.SimpleTptpParserOutput.Annotations
annotations(TptpParserOutput) - Method in class tptp_parser.TptpParser
annotations - Variable in class TPTPWorld.TPTPFormula
AnswerExtractor - Class in TPTPWorld
AnswerExtractor() - Constructor for class TPTPWorld.AnswerExtractor
AnswerFinder - Class in TPTPWorld
AnswerFinder() - Constructor for class TPTPWorld.AnswerFinder
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.
APPLY - Static variable in interface tptp_parser.TptpTokenTypes
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
Arc - Class in com.articulate.sigma.semRewrite
Arc() - Constructor for class com.articulate.sigma.semRewrite.Arc
arcs - Variable in class com.articulate.sigma.semRewrite.Graph
arcs - Variable in class com.articulate.sigma.semRewrite.Node
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
args() - Method in class jpl.Compound
args() - Method in class jpl.Query
args_ - Variable in class jpl.Compound: the arguments in this Compound
args_ - Variable in class jpl.Query: the arguments to this Query
argsInit(Formula, List<String>) - Method in class com.articulate.sigma.nlg.StackElement: Init the formulaArgs for this StackElement.
arguments(TptpParserOutput) - Method in class tptp_parser.TptpParser
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.
askEProver(String, int, int) - Method in class com.articulate.sigma.KB: Submits a query to the inference engine.
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.
ASSIGN - Static variable in interface tptp_parser.TptpTokenTypes
asStrings() - Method in class com.articulate.sigma.nlp.pipeline.SentenceBuilder
asStrings(ClauseSubstitutor) - Method in class com.articulate.sigma.nlp.pipeline.SentenceBuilder: Builds String representation of current sentence mutating labels with provided substitutor.
asStrings(Function<CoreLabel, String>) - Method in class com.articulate.sigma.nlp.pipeline.SentenceBuilder: Transform the labels to String allowing make additional manual mutation on each label.
asSUMORelationID(String) - Static method in class com.articulate.sigma.StringUtil
AssumptionRecord(Iterable<String>) - Constructor for class tptp_parser.SimpleTptpParserOutput.InfoItem.AssumptionRecord
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.
Atom - Class in jpl: An Atom is a Term with a name field.
Atom(String) - Constructor for class jpl.Atom
atom() - Method in class jpl.Compound
ATOM - Static variable in class jpl.fli.Prolog
atom() - Method in class jpl.Query
atom_ - Variable in class jpl.Compound: the atom in this Compound
atom_ - Variable in class jpl.Query: the Atom corresponding to the predicate name in this Query
atom_chars(atom_t) - Static method in class jpl.fli.Prolog
atom_t - Class in jpl.fli: An atom_t is a simple extension of a term_t.
atom_t() - Constructor for class jpl.fli.atom_t
atomAsFormula(TptpParserOutput.AtomicFormula) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
atomAsFormula(TptpParserOutput.AtomicFormula) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object of the class implementing FofFormula, representing the atomic formula represented by the object atom .
atomAsThfFormula(TptpParserOutput.ThfAtomicFormula) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
atomAsThfFormula(TptpParserOutput.ThfAtomicFormula) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object of the class implementing ThfFormula, representing the atomic formula represented by the object atom .
Atomic(String, Iterable<TptpParserOutput.Term>) - Constructor for class tptp_parser.SimpleTptpParserOutput.Formula.Atomic
Atomic(String, LinkedList<SimpleTptpParserOutput.Term>) - Constructor for class tptp_parser.SimpleTptpParserOutput.Formula.Atomic
atomic_defined_word(TptpParserOutput) - Method in class tptp_parser.TptpParser
atomic_formula(TptpParserOutput, boolean[]) - Method in class tptp_parser.TptpParser
atomic_system_word(TptpParserOutput) - Method in class tptp_parser.TptpParser
atomic_word(TptpParserOutput) - Method in class tptp_parser.TptpParser
ATPSystem - Class in TPTPWorld
ATPSystem(String, String, String, String, String, Vector<String>[], Vector<String>[], Vector<String>[], Vector<String>) - Constructor for class TPTPWorld.ATPSystem
attribute - Variable in class com.articulate.sigma.AVPair
attributes - Variable in class com.articulate.delphi.User: A HashMap of String keys and String values
attributes - Variable in class com.articulate.sigma.BasicXMLelement: The attributes of the tag in key=value form
authenticate(String, String) - Method in class com.articulate.delphi.PasswordService: Take a user name and unencrypted password and compare it to an existing collection of users with encrypted passwords.
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.
average(String) - Method in class com.articulate.delphi.Project: Return a Table which is the average of the judgements of ever user other than the given username.
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.

B

badQuantification() - Method in class com.articulate.sigma.Formula: Not yet implemented! Test whether the Formula has variables that are not properly quantified.
Base64 - Class in com.articulate.sigma
Base64.InputStream - Class in com.articulate.sigma: A Base64.InputStream will read data from another java.io.InputStream, given in the constructor, and encode/decode to/from Base64 notation on the fly.
Base64.OutputStream - Class in com.articulate.sigma: A Base64.OutputStream will write data to another java.io.OutputStream, given in the constructor, and encode/decode to/from Base64 notation on the fly.
BasicXMLelement - Class in com.articulate.sigma: A class designed to mirror the information in a basic XML tag.
BasicXMLelement() - Constructor for class com.articulate.sigma.BasicXMLelement
BasicXMLparser - Class in com.articulate.sigma: Parses simple XML into a hierarchy of BasicXMLelement (s).
BasicXMLparser(String) - Constructor for class com.articulate.sigma.BasicXMLparser: Constructor that parses an XML-formatted string, with one tag per line, into an ArrayList of BasicXMLelement (s).
BIGPI - Static variable in interface tptp_parser.TptpTokenTypes
BIGSIGMA - Static variable in interface tptp_parser.TptpTokenTypes
Binary(TptpParserOutput.FofFormula, TptpParserOutput.BinaryConnective, TptpParserOutput.FofFormula) - Constructor for class tptp_parser.SimpleTptpParserOutput.Formula.Binary
binary_connective() - Method in class tptp_parser.TptpParser
binaryRel - Static variable in class com.articulate.sigma.semRewrite.Lexer
bindConjecture(String, ArrayList<Binding>, ArrayList<Binding>) - Static method in class TPTPWorld.LooksDifferent
Binding - Class in TPTPWorld
Binding(String) - Constructor for class TPTPWorld.Binding
Binding(String, String) - Constructor for class TPTPWorld.Binding
binding - Variable in class TPTPWorld.Binding
bindings - Variable in class com.articulate.sigma.TPTP3ProofProcessor
bound - Variable in class com.articulate.sigma.semRewrite.Literal
browserSectionFormat(String, String, KB, String, String, int, String) - Static method in class com.articulate.sigma.HTMLformatter: Create the HTML for a section of the Sigma term browser page.
browserSectionFormatLimit(String, String, KB, String, String, int, int, int, String) - Static method in class com.articulate.sigma.HTMLformatter: Create the HTML for a section of the Sigma term browser page.
buckets - Variable in class com.articulate.sigma.Hotel
BUF_DISCARDABLE - Static variable in class jpl.fli.Prolog
BUF_MALLOC - Static variable in class jpl.fli.Prolog
BUF_RING - Static variable in class jpl.fli.Prolog
buildCaches() - Method in class com.articulate.sigma.KBcache: Main entry point for the class.
buildChildren() - Method in class com.articulate.sigma.KBcache: For each transitive relation, find its transitive closure.
buildDisjointRelationsMap() - Method in class com.articulate.sigma.KBcache: build a disjoint-relations-map which were explicitly defined in "partition", "exhaustiveDecomposition", "disjointDecomposition" and "disjoint" expressions;
buildExcludedPredicates() - Static method in class com.articulate.sigma.SUMOKBtoTPTPKB: define a set of predicates which will not be used for inference
buildInstTransRels() - Method in class com.articulate.sigma.KBcache: Compile the set of transitive relations that are between instances
buildParents() - Method in class com.articulate.sigma.KBcache: For each transitive relation, find its transitive closure.
buildRelationsSet() - Method in class com.articulate.sigma.KBcache: Do a proper search for relations (including Functions), utilizing the formal definitions, rather than the convention of initial lower case letter.
buildTransitiveRelationsSet() - Method in class com.articulate.sigma.KBcache: Do a proper search for relations (including Functions), utilizing the formal definitions, rather than the convention of initial lower case letter.
BuiltInDir - Static variable in class TPTPWorld.InterfaceTPTP
builtInExists - Static variable in class TPTPWorld.InterfaceTPTP
builtInFalse() - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
builtInFalse() - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return a representation for $false.
builtInThfFalse() - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
builtInThfFalse() - Method in interface tptp_parser.TptpParserOutput
builtInThfTrue() - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
builtInThfTrue() - Method in interface tptp_parser.TptpParserOutput
builtInTrue() - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
builtInTrue() - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return a representation for $true.

C

C - Variable in class com.articulate.sigma.nlp.SVM
caddr() - Method in class com.articulate.sigma.Formula: Returns the LISP 'caddr' of the formula, which is the third list element of the formula.
cadr() - Method in class com.articulate.sigma.Formula: Returns the LISP 'cadr' (the second list element) of the formula.
calcConditionals(int) - Method in class com.articulate.sigma.nlp.NaiveBayes: Compute conditionals in the format of a class name key then the probalbities of the values for each "column" which is a numerical key.
calcDFs() - Method in class com.articulate.sigma.nlp.TFIDF
calcMaxFreqs() - Static method in class com.articulate.sigma.nlp.WNsim
calcPriors(int) - Method in class com.articulate.sigma.nlp.NaiveBayes: Calculate the prior probabilities of each class given the numbers of instances of each class.
calculateRecommendations() - Method in class com.articulate.delphi.Table: Calculate the recommended decision that results from the judgements and weights.
call(term_t, module_t) - Static method in class jpl.fli.Prolog
call_predicate(module_t, int, predicate_t, term_t) - Static method in class jpl.fli.Prolog
callBuiltInTPTP(String, String, int, String, String) - Static method in class TPTPWorld.InterfaceTPTP
callLocalTPTP(String, String, int, String, String) - Static method in class TPTPWorld.InterfaceTPTP
callRemoteTPTP(String, String, int, String, String) - Static method in class TPTPWorld.InterfaceTPTP
callTPTP(String, String, String, int, String, String) - Static method in class TPTPWorld.InterfaceTPTP
canon(RuleSet) - Static method in class com.articulate.sigma.semRewrite.Interpreter
car() - Method in class com.articulate.sigma.Formula
carAsFormula() - Method in class com.articulate.sigma.Formula: Returns the LISP 'car' of the formula as a new Formula, if possible, else returns null.
CaseRole - Enum in com.articulate.sigma.nlg: Identifies specific Sumo CaseRole objects.
CCheck - Class in com.articulate.sigma
CCheck(KB, String) - Constructor for class com.articulate.sigma.CCheck
CCheck(KB, String, String, int) - Constructor for class com.articulate.sigma.CCheck
CCheck(KB, String, String, String, String, String, String, int) - Constructor for class com.articulate.sigma.CCheck
CCheckManager - Class in com.articulate.sigma: This class manages the threads that run consistency checks for the different KBs in the system.
CCheckManager() - Constructor for class com.articulate.sigma.CCheckManager
CCheckManager.CCheckStatus - Enum in com.articulate.sigma: ccheckQueue keeps track of the KBs that are currently being checked.
ccheckResults(String) - Method in class com.articulate.sigma.CCheckManager: This method returns full or partial results of the consistency checks.
ccheckResults(String) - Static method in class com.articulate.sigma.KBmanager
ccheckStatus(String) - Method in class com.articulate.sigma.CCheckManager: Returns the current status of a KB
ccheckStatus(String) - Static method in class com.articulate.sigma.KBmanager
cd(String) - Static method in class jpl.SWIUtil
cddr() - Method in class com.articulate.sigma.Formula: Returns the LISP 'cddr' of the formula - the rest of the rest, or the list minus its first two elements.
cddrAsFormula() - Method in class com.articulate.sigma.Formula: Returns the LISP 'cddr' of the formula as a new Formula, if possible, else returns null.
cdr() - Method in class com.articulate.sigma.Formula: Return the LISP 'cdr' of the formula - the rest of a list minus its first element.
cdrAsFormula() - Method in class com.articulate.sigma.Formula: Returns the LISP 'cdr' of the formula as a new Formula, if possible, else returns null.
Cell - Class in com.articulate.delphi: A class that contains information about a cell in a Delphi matrix.
Cell() - Constructor for class com.articulate.delphi.Cell
CELT - Class in com.articulate.sigma: Class for invoking CELT.
CELT() - Constructor for class com.articulate.sigma.CELT: Create a running instance of CELT.
celt - Variable in class com.articulate.sigma.KB: The instance of the CELT process.
CELTTestSuite - Class in com.articulate.sigma: A framework for testing CELT.
CELTTestSuite() - Constructor for class com.articulate.sigma.CELTTestSuite
chainCode - Variable in class com.articulate.sigma.Hotel
changed - Static variable in class com.articulate.sigma.semRewrite.Clausifier
CHARS - Static variable in class jpl.fli.Prolog
checkArguments(String[]) - Static method in class TPTPWorld.TPTPParser
checkArity() - Method in class com.articulate.sigma.KB: Arity errors should already have been trapped in addConstituent() unless a relation is used before it is defined.
checkDisjoint(KB, HashSet<String>) - Static method in class com.articulate.sigma.KBcache: check if there are any two types in typeSet are disjoint or not;
checkDisjoint(KB, String, String) - Static method in class com.articulate.sigma.KBcache: check if rel1 and rel2 are disjoint return true if rel1 and rel2 are disjoint; otherwise return false.
checkin - Variable in class com.articulate.sigma.Hotel
checkout - Variable in class com.articulate.sigma.Hotel
checkRuleSet(RuleSet) - Static method in class com.articulate.sigma.semRewrite.SemRewriteRuleCheck: Check the whole Ruleset.
checkSite(String, String) - Static method in class com.articulate.sigma.SigmaCheck
checkSystemDirectory(String) - Static method in class TPTPWorld.SystemOnTPTP
checkTok(String) - Method in class com.articulate.sigma.semRewrite.Lexer: Take a list of expected token types.
checkTok(ArrayList<String>) - Method in class com.articulate.sigma.semRewrite.Lexer: Take a list of expected token types.
checkURLs(KB) - Static method in class com.articulate.sigma.KButilities
child(String) - Method in class edu.dlsu.SUMOs.util.Xml
child - Variable in class TPTPWorld.TPTPFormula
childOf(String, String) - Method in class com.articulate.sigma.KB: Determine whether a particular class or instance "child" is a child of the given "parent".
childOfP(String, String, String) - Method in class com.articulate.sigma.KBcache: Find whether the given child has the given parent for the given transitive relation.
children - Variable in class com.articulate.sigma.KBcache: All the cached "child" relations of all transitive relations meaning the relations between all first arguments and the transitive closure of second arguments.
children - Variable in class com.articulate.sigma.TaxoNode
children(String) - Method in class edu.dlsu.SUMOs.util.Xml
childrenExpanded - Variable in class com.articulate.sigma.TaxoNode
childrenOfDisjointParents(KB) - Static method in class com.articulate.sigma.Diagnostics: Return a list of terms that have parents which are disjoint.
CHOICE - Static variable in interface tptp_parser.TptpTokenTypes
city - Variable in class com.articulate.sigma.Hotel
classify(List<String>) - Method in class com.articulate.sigma.nlp.NaiveBayes: Given the conditional and prior probabilities, and a particular instance set of attributes, compute which class that instance is mostly likely to fall into.
classSymbolSuffix - Static variable in class com.articulate.sigma.Formula
Clause - Class in com.articulate.sigma.semRewrite
Clause() - Constructor for class com.articulate.sigma.semRewrite.Clause
Clause - Static variable in class com.articulate.sigma.semRewrite.Lexer
clause - Variable in class com.articulate.sigma.semRewrite.LHS
clause - Variable in class com.articulate.sigma.semRewrite.Rule
Clause(Iterable<TptpParserOutput.Literal>) - Constructor for class tptp_parser.SimpleTptpParserOutput.Clause
CLAUSE_PARAM - Static variable in class com.articulate.sigma.semRewrite.substitutor.SubstitutionUtil
CLAUSE_SPLITTER - Static variable in class com.articulate.sigma.semRewrite.substitutor.SubstitutionUtil
clauses - Variable in class com.articulate.sigma.semRewrite.CNF
ClauseSubstitutor - Interface in com.articulate.sigma.semRewrite.substitutor
Clausifier - Class in com.articulate.sigma: The code in the section below implements an algorithm for translating SUO-KIF expressions to clausal form.
Clausifier(String) - Constructor for class com.articulate.sigma.Clausifier
Clausifier - Class in com.articulate.sigma.semRewrite
Clausifier() - Constructor for class com.articulate.sigma.semRewrite.Clausifier
clausify(Formula) - Static method in class com.articulate.sigma.Clausifier: convenience method
clausify() - Method in class com.articulate.sigma.Clausifier: This method converts the SUO-KIF Formula to a 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.
clausify(LHS) - Static method in class com.articulate.sigma.semRewrite.Clausifier
clausify(RuleSet) - Static method in class com.articulate.sigma.semRewrite.Clausifier
clausifyWithRenameInfo() - Method in class com.articulate.sigma.Clausifier: Note this returns a List of mixed types! Fixme!
clear() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
clearAlphaList() - Method in class com.articulate.sigma.DocGen: Clears the alphaList for this DocGen object.
clearBound() - Method in class com.articulate.sigma.semRewrite.Clause: Clear the bound flags on each Literal
clearBound() - Method in class com.articulate.sigma.semRewrite.CNF
clearDocGenControlBits() - Method in class com.articulate.sigma.DocGen: Sets to 0 the int value that represents the bit values used to guide aspects of the document generation process for this DocGen instance.
clearFormatMaps() - Method in class com.articulate.sigma.KB: Clears all loaded format and termFormat maps, for all languages.
clearPreserve() - Method in class com.articulate.sigma.semRewrite.Clause: Clear the preserve flags on each Literal
clearPreserve() - Method in class com.articulate.sigma.semRewrite.CNF
clearTheClausalForm() - Method in class com.articulate.sigma.Formula: This method clears the list of clauses that together constitute the resolution form of this Formula, and can be used in preparation for recomputing the clauses.
clearTheTptpFormulas() - Method in class com.articulate.sigma.Formula: Clears theTptpFormulas if the ArrayList exists, else does nothing.
ClientHttpRequest - package ClientHttpRequest
ClientHttpRequest - Class in ClientHttpRequest: Title: Client HTTP Request class
ClientHttpRequest(URLConnection) - Constructor for class ClientHttpRequest.ClientHttpRequest: Creates a new multipart POST HTTP request on a freshly opened URLConnection
ClientHttpRequest(URL) - Constructor for class ClientHttpRequest.ClientHttpRequest: Creates a new multipart POST HTTP request for a specified URL
ClientHttpRequest(String) - Constructor for class ClientHttpRequest.ClientHttpRequest: Creates a new multipart POST HTTP request for a specified URL string
ClientHttpRequest - Class in com.articulate.sigma: Title: Client HTTP Request class
ClientHttpRequest(URLConnection) - Constructor for class com.articulate.sigma.ClientHttpRequest: Creates a new multipart POST HTTP request on a freshly opened URLConnection
ClientHttpRequest(URL) - Constructor for class com.articulate.sigma.ClientHttpRequest: Creates a new multipart POST HTTP request for a specified URL
ClientHttpRequest(String) - Constructor for class com.articulate.sigma.ClientHttpRequest: Creates a new multipart POST HTTP request for a specified URL string
ClientHttpRequest - Class in TPTPWorld: Title: Client HTTP Request class
ClientHttpRequest(URLConnection) - Constructor for class TPTPWorld.ClientHttpRequest: Creates a new multipart POST HTTP request on a freshly opened URLConnection
ClientHttpRequest(URL) - Constructor for class TPTPWorld.ClientHttpRequest: Creates a new multipart POST HTTP request for a specified URL
ClientHttpRequest(String) - Constructor for class TPTPWorld.ClientHttpRequest: Creates a new multipart POST HTTP request for a specified URL string
close() - Method in class com.articulate.sigma.Base64.OutputStream: Flushes and closes (I think, in the superclass) the stream.
close_foreign_frame(fid_t) - Static method in class jpl.fli.Prolog
close_query(qid_t) - Static method in class jpl.fli.Prolog
CloseBracket - Static variable in class com.articulate.sigma.semRewrite.Lexer
ClosePar - Static variable in class com.articulate.sigma.semRewrite.Lexer
CNF - Class in com.articulate.sigma.semRewrite: Conjunctive Normal Form
CNF() - Constructor for class com.articulate.sigma.semRewrite.CNF
CNF - Variable in class com.articulate.sigma.semRewrite.QAOutputGenerator.Record
cnf - Variable in class com.articulate.sigma.semRewrite.RHS
cnf - Variable in class com.articulate.sigma.semRewrite.Rule
cnf_formula(TptpParserOutput) - Method in class tptp_parser.TptpParser
cnfPattern - Static variable in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
codedIdentifiers - Variable in class com.articulate.sigma.DocGen: A Set of Strings.
codeToLanguage(String) - Static method in class com.articulate.sigma.OMWordnet
collapseNode(String) - Static method in class com.articulate.sigma.TaxoModel: Remove the children of this node.Called as the result of an &contract=term parameter sent to TreeView.jsp
collapseParentNodes(String) - Static method in class com.articulate.sigma.TaxoModel: Remove the parents of this node.
collectAllVariables() - Method in class com.articulate.sigma.Formula: Collects all variables in this Formula.
collectArgFromFormulas(int, ArrayList<Formula>) - Static method in class com.articulate.sigma.KBcache: Get the HashSet of the given arguments from an ArrayList of Formulas.
collectCountedWordSenses(String) - Method in class com.articulate.sigma.WordNet: Collect all the synsets that represent the best guess at meanings for all the words in a sentence.
collectDomains() - Method in class com.articulate.sigma.KBcache: Build the argument type list for every relation.
collectExistentiallyQuantifiedVariables() - Method in class com.articulate.sigma.Formula: Collects all quantified variables in this Formula.
collectPredicates() - Method in class com.articulate.sigma.KB
collectQuantifiedUnquantifiedVariables() - Method in class com.articulate.sigma.Formula: A new method to collect all quantified and unquantified variables in this Formula.
collectQuantifiedUnquantifiedVariablesRecurse(Formula, HashMap<String, Boolean>, HashSet<String>, HashSet<String>) - Method in class com.articulate.sigma.Formula: Collect quantified and unquantified variables recursively
collectQuantifiedVariables() - Method in class com.articulate.sigma.Formula: Collects all quantified variables in this Formula.
collectSUMOFromWords(String) - Static method in class com.articulate.sigma.WSD: Collect all the SUMO terms that are found in the sentence.
collectTerms() - Method in class com.articulate.sigma.Formula: Collect all the terms in a formula
collectUnquantifiedVariables() - Method in class com.articulate.sigma.Formula: Collect all the unquantified variables in a formula
collectVariables() - Method in class com.articulate.sigma.Formula: Collects all variables in this Formula.
collectWordSenses(String) - Static method in class com.articulate.sigma.WSD: Collect all the synsets that represent the best guess at meanings for all the words in a text given a larger linguistic context.
COLON - Static variable in interface tptp_parser.TptpTokenTypes
columnCount() - Method in class com.articulate.sigma.Graph
columnList - Variable in class com.articulate.sigma.Graph
columnWeights - Variable in class com.articulate.delphi.Table: A HashMap of criteria string keys and string importance weight values, which are integers between 0 and 10, represented as Strings.
com.articulate.delphi - package com.articulate.delphi
com.articulate.sigma - package com.articulate.sigma: Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.
com.articulate.sigma.nlg - package com.articulate.sigma.nlg
com.articulate.sigma.nlp - package com.articulate.sigma.nlp
com.articulate.sigma.nlp.constants - package com.articulate.sigma.nlp.constants
com.articulate.sigma.nlp.pipeline - package com.articulate.sigma.nlp.pipeline
com.articulate.sigma.semRewrite - package com.articulate.sigma.semRewrite
com.articulate.sigma.semRewrite.datesandnumber - package com.articulate.sigma.semRewrite.datesandnumber
com.articulate.sigma.semRewrite.substitutor - package com.articulate.sigma.semRewrite.substitutor
com.articulate.sigma.utils - package com.articulate.sigma.utils
com.articulate.sigma.wordNet - package com.articulate.sigma.wordNet
Comma - Static variable in class com.articulate.sigma.semRewrite.Lexer
COMMA - Static variable in interface tptp_parser.TptpTokenTypes
command - Variable in class TPTPWorld.ATPSystem
COMMAND_TAG - Static variable in class TPTPWorld.SystemInfoParser
commentChar(int) - Method in class com.articulate.sigma.StreamTokenizer_s: Specified that the character argument starts a single-line comment.
commentSentiment(String) - Static method in class com.articulate.sigma.WordNetUtilities
CommonCNFUtil - Class in com.articulate.sigma.semRewrite: A set of static functions that heal dealing with CNF findPath will find all paths between two literals in the CNF string findOneCommonCNF will try to find the intersection CNF among a list of CNFs getCommonCNF will try to find common CNF pair between sentences
CommonCNFUtil.Pair<F,S> - Class in com.articulate.sigma.semRewrite
CommonCNFUtil.QAPair - Class in com.articulate.sigma.semRewrite: DTO class for json input and output
compare(Object, Object) - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
compare(Object, Object) - Method in class com.articulate.sigma.SUMOKBtoTPTPKB.OrderedFormulae
compare(Object, Object) - Method in class TPTPWorld.TPTPParser.SymbolComparator
compareTo(Object) - Method in class com.articulate.delphi.Pair
compareTo(Object) - Method in class com.articulate.sigma.AVPair
compareTo(Object) - Method in class com.articulate.sigma.Formula: Implement the Comparable interface by defining the compareTo method.
compareTo(Object) - Method in class com.articulate.sigma.nlg.SumoProcessEntityProperty: Allows sortable collections of these objects.
complexArgumentsToArrayList(int) - Method in class com.articulate.sigma.Formula: Return all the arguments in a formula as a list, starting at the given argument.
Compound - Class in jpl: A Compound is a base class for all of the compound class types (e.g., List, Tuple, etc.), but it can also be instantiated to produce, for example, any functional expression.
Compound(Atom, Term[]) - Constructor for class jpl.Compound: Creates a Comound with an Atom and an array of arguments.
Compound(String, Term[]) - Constructor for class jpl.Compound: This constructor is short for
Compound(String, Term) - Constructor for class jpl.Compound: This constructor is shorthand for
Compound(String, Term, Term) - Constructor for class jpl.Compound: This constructor is shorthand for
Compound(String, Term, Term, Term) - Constructor for class jpl.Compound: This constructor is shorthand for
Compound(String, Term, Term, Term, Term) - Constructor for class jpl.Compound: This constructor is shorthand for
Compound(String, Term, Term, Term, Term, Term) - Constructor for class jpl.Compound: This constructor is shorthand for
Compound(String, Term, Term, Term, Term, Term, Term) - Constructor for class jpl.Compound: This constructor is shorthand for
Compound(String, Term, Term, Term, Term, Term, Term, Term) - Constructor for class jpl.Compound: This constructor is shorthand for
Compound(String, Term, Term, Term, Term, Term, Term, Term, Term) - Constructor for class jpl.Compound: This constructor is shorthand for
Compound(String, Term, Term, Term, Term, Term, Term, Term, Term, Term) - Constructor for class jpl.Compound: This constructor is shorthand for
Compound(String, Term, Term, Term, Term, Term, Term, Term, Term, Term, Term) - Constructor for class jpl.Compound: This constructor is shorthand for
computeConceptSentiment(String) - Static method in class com.articulate.sigma.DB: Associate individual concepts with a sentiment score
computeConceptSentimentFromFile(String) - Static method in class com.articulate.sigma.DB: Associate individual concepts with a sentiment score
computeSentiment(String) - Static method in class com.articulate.sigma.DB: Calculate an integer sentiment value for a string of words.
computeSentimentForWord(String) - Static method in class com.articulate.sigma.DB: Find the sentiment value for a given word, after finding the root form of the word.
computeSubstitution(Hashtable, Hashtable) - Method in class jpl.Atom: Nothing needs to be done if the Term is an Atom.
computeSubstitution(Hashtable, Hashtable) - Method in class jpl.Compound: Nothing needs to be done except to pass the buck to the args.
computeSubstitution(Hashtable, Hashtable) - Method in class jpl.Float_JPL: Nothing needs to be done if the Term is an Atom.
computeSubstitution(Hashtable, Hashtable) - Method in class jpl.Integer_JPL: Nothing needs to be done if the Term is an Atom.
computeSubstitution(Hashtable, Hashtable) - Method in class jpl.Long_JPL: Nothing needs to be done if the Term is an Atom.
computeSubstitution(Hashtable, Hashtable) - Method in class jpl.String_JPL: Nothing needs to be done if the Term is an Atom.
computeSubstitution(Hashtable, Hashtable) - Method in class jpl.Term: This method computes a substitution from a Term.
computeSubstitution(Hashtable, Hashtable) - Method in class jpl.Variable: If this Variable instance is not already in the Hashtable, put the result of converting the term_t to which this variable has been unified to a Term in the Hashtable, keyed on this Variable instance.
computeSubstitutions(Hashtable, Hashtable, Term[]) - Static method in class jpl.Term: Just calls computeSubstitution in each Term in the list.
computeSubsumingFreq(HashSet<String>, HashSet<String>) - Static method in class com.articulate.sigma.nlp.WNsim
computeSubsumingFreq2(HashSet<String>, HashSet<String>) - Static method in class com.articulate.sigma.nlp.WNsim
computeSubsumingFreq2(String, HashSet<String>, HashSet<String>) - Static method in class com.articulate.sigma.nlp.WNsim
computeSynsetSim(String, String) - Static method in class com.articulate.sigma.nlp.WNsim: Compute similarity of two synsets.
computeVariableTypes(Formula, KB) - Method in class com.articulate.sigma.FormulaPreprocessor: This method returns a HashMap that maps each String variable in this the names of types (classes) of which the variable must be an instance or the names of types of which the variable must be a subclass.
computeVariableTypesRecurse(KB, Formula, HashMap<String, HashSet<String>>) - Method in class com.articulate.sigma.FormulaPreprocessor
computeWordSim(String, String) - Static method in class com.articulate.sigma.nlp.WNsim: Compute similarity of two words as the maximum similarity among their possible synsets.
concatN(String, int) - Static method in class com.articulate.sigma.StringUtil: Returns a String formed from n concatenations of input.
conceptSentiment - Variable in class com.articulate.sigma.Hotel
conditionalCounts - Variable in class com.articulate.sigma.nlp.NaiveBayes
conds - Variable in class com.articulate.sigma.nlp.NaiveBayes
CONFIG_FILE - Static variable in class com.articulate.sigma.KBmanager
connect() - Method in class ClientHttpRequest.ClientHttpRequest
connect() - Method in class com.articulate.sigma.ClientHttpRequest
connect() - Method in class TPTPWorld.ClientHttpRequest
cons(String) - Method in class com.articulate.sigma.Formula: Returns a new Formula which is the result of 'consing' a String into this Formula, similar to the LISP procedure of the same name.
cons(Formula) - Method in class com.articulate.sigma.Formula
cons_functor(term_t, functor_t, term_t[]) - Static method in class jpl.fli.Prolog
cons_functor_v(term_t, functor_t, term_t) - Static method in class jpl.fli.Prolog
cons_list(term_t, term_t, term_t) - Static method in class jpl.fli.Prolog
constituents - Variable in class com.articulate.sigma.KB: An ArrayList of Strings that are the full canonical pathnames of the files that comprise the KB.
consult(String) - Static method in class jpl.SWIUtil
containsFormula(String) - Method in class com.articulate.sigma.KB: Takes a formula string and returns true if the corresponding Formula occurs in the KB.
containsIndexWord(String) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
containsKey(CoreLabel) - Method in interface com.articulate.sigma.semRewrite.substitutor.ClauseSubstitutor: Returns true if substitutor contains key with given label
containsKey(String) - Method in interface com.articulate.sigma.semRewrite.substitutor.ClauseSubstitutor: Returns true if substitutor contains key with given label E.g.
containsKey(CoreLabel) - Method in class com.articulate.sigma.semRewrite.substitutor.SimpleSubstitutorStorage
containsKey(String) - Method in class com.articulate.sigma.semRewrite.substitutor.SimpleSubstitutorStorage
containsKey(CoreLabel) - Method in class com.articulate.sigma.semRewrite.substitutor.SubstitutorsUnion
containsKey(String) - Method in class com.articulate.sigma.semRewrite.substitutor.SubstitutorsUnion
containsLabel(CoreLabel) - Method in class com.articulate.sigma.semRewrite.substitutor.CoreLabelSequence
containsLabel(int, String, int) - Method in class com.articulate.sigma.semRewrite.substitutor.CoreLabelSequence: Checks if label is part of current sequence
containsNonAsciiChars(String) - Static method in class com.articulate.sigma.StringUtil
containsProcess(Collection<String>, KB) - Static method in class com.articulate.sigma.nlg.NLGUtils: Return true if the given list includes "Process", or if one of its elements is a subclass of Process.
containsRE(String) - Method in class com.articulate.sigma.KB: Takes a term (interpreted as a Regular Expression) and returns true if any term in the KB has a match with the RE.
containsTerm(String) - Method in class com.articulate.sigma.KB: Takes a term and returns true if the term occurs in the KB.
containsTimeInfo(List<TimeInfo>, TimeInfo) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateAndNumbersGeneration: * Returns true if a timeInfo object is present in the list of timeInfo.
containsWord(String, int) - Method in class com.articulate.sigma.WordNet: Does WordNet contain the given word.
content() - Method in class edu.dlsu.SUMOs.util.Xml
contents - Variable in class com.articulate.sigma.BasicXMLelement: The contents between the start and end of this tag
context - Variable in class com.articulate.sigma.DependencyConverter.Node
context() - Static method in class jpl.fli.Prolog
convert(String, boolean) - Static method in class com.articulate.sigma.TPTP2SUMO: Convenience routine that calls the main convert() method below
convert(Reader, boolean) - Static method in class com.articulate.sigma.TPTP2SUMO: Convenience routine that calls the main convert() method below
convert(String, ArrayList<Binding>, boolean) - Static method in class com.articulate.sigma.TPTP2SUMO: Convenience routine that calls the main convert() method below
convert(Reader, ArrayList<Binding>, boolean) - Static method in class com.articulate.sigma.TPTP2SUMO: Convenience routine that calls the main convert() method below
convert(BufferedReader, ArrayList<Binding>, boolean) - Static method in class com.articulate.sigma.TPTP2SUMO: Convert a TPTP proof to a SUMO XML-wrapped proof
convertFromReservedCharacters(String) - Static method in class com.articulate.sigma.SimpleDOMParser: Convert reserved characters to ampersand character elements.
convertJSON2Hotel(Hotel.JSONElement) - Static method in class com.articulate.sigma.Hotel
convertRowStringsToLists(List<String>, char) - Method in class com.articulate.sigma.DocGen: Converts a List of char-delimited Strings to a List of Lists (i.e., an array) representing a spreadsheet.
convertTermList(String) - Static method in class com.articulate.sigma.WordNetUtilities: Convert a list of Terms in the format "&%term1 &%term2" to an ArrayList of bare term Strings
convertToReservedCharacters(String) - Static method in class com.articulate.sigma.SimpleDOMParser: Convert ampersand character elements to reserved characters.
convertType(TPTPFormula, int, int) - Static method in class com.articulate.sigma.TPTP2SUMO: Convert a single annotated TPTP clause to a single XML-wrapped SUMO formula.
convertType(TPTPFormula, int, int, boolean) - Static method in class com.articulate.sigma.TPTP2SUMO: Convert a single annotated TPTP clause to a single SUMO formula, possibly XML-wrapped.
convertWordNetPointer(String) - Static method in class com.articulate.sigma.WordNetUtilities
convertYAGO(String, String) - Static method in class com.articulate.sigma.Mapping: Convert a YAGO file into KIF
copy() - Method in class com.articulate.sigma.Formula: Copy the Formula.
copy_term_ref(term_t) - Static method in class jpl.fli.Prolog
copyBoundFlags(Clause) - Method in class com.articulate.sigma.semRewrite.Clause: Copy bound flags to this set of clauses
copyBoundFlags(CNF) - Method in class com.articulate.sigma.semRewrite.CNF: Copy bound flags to this set of clauses
copyFile(File, File) - Static method in class com.articulate.sigma.KBmanager: Read an XML-formatted configuration file.
copyFile(String) - Method in class com.articulate.sigma.SUMOKBtoTPTPKB
coref - Static variable in class com.articulate.sigma.semRewrite.Interpreter
CorefSubstitutor - Class in com.articulate.sigma.semRewrite.substitutor
CorefSubstitutor(Annotation) - Constructor for class com.articulate.sigma.semRewrite.substitutor.CorefSubstitutor
CoreLabelSequence - Class in com.articulate.sigma.semRewrite.substitutor
CoreLabelSequence(List<CoreLabel>) - Constructor for class com.articulate.sigma.semRewrite.substitutor.CoreLabelSequence
CoreLabelSequence(CoreLabel...) - Constructor for class com.articulate.sigma.semRewrite.substitutor.CoreLabelSequence
correlation(HashMap<String, Float>, HashMap<String, Float>) - Static method in class com.articulate.sigma.nlp.WNsim: determine the sample correlation coefficient
count - Static variable in class com.articulate.sigma.KIF
countDelimiters(String, char) - Method in class com.articulate.sigma.DocGen: Counts the number of field delimiters in line and returns the count, ignoring delimiters that are inside Strings.
countMappings() - Static method in class com.articulate.sigma.WNdiagnostics: Create an HTML-formatted table that counts WordNet-SUMO mapping types.
countMappings() - Static method in class com.articulate.sigma.wordNet.WNdiagnostics: Create an HTML-formatted table that counts WordNet-SUMO mapping types.
countRelations(KB) - Static method in class com.articulate.sigma.KButilities
country - Variable in class com.articulate.sigma.Hotel
createAllStatements(KB, String, String, int) - Method in class com.articulate.sigma.DocGen: Create an HTML page that lists information about a particular term, with a limit on how many statements of each type should be displayed.
createAlphaList(KB) - Method in class com.articulate.sigma.DocGen
createAnnotations(TptpParserOutput.Source, Iterable<TptpParserOutput.InfoItem>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createAnnotations(TptpParserOutput.Source, Iterable<TptpParserOutput.InfoItem>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <annotations> composed of source and usefulInfo .
createAssumptionRecordInfoItem(Iterable<String>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createAssumptionRecordInfoItem(Iterable<String>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <info item> corresponding to an instance of <assumption record> with a list <name list> as the parameter.
createBelongsToClass(KB, String, String, String, Set<String>) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for the Belongs to Class section of an HTML page displaying the partial definition of term in kb.
createBelongsToClass(KB, String, String, String) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for the Belongs to Class section of an HTML page displaying the partial definition of term in kb.
createBinaryFormula(TptpParserOutput.FofFormula, TptpParserOutput.BinaryConnective, TptpParserOutput.FofFormula) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createBinaryFormula(TptpParserOutput.FofFormula, TptpParserOutput.BinaryConnective, TptpParserOutput.FofFormula) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the binary formula obtained by applying connective to lhs and rhs .
createBoundedSizeGraph(KB, String, String, int, String, String) - Method in class com.articulate.sigma.Graph: Create a graph of a bounded size by incrementing the number of levels above and below until the limit is reached or there are no more levels in the knowledge base from the given term and relation.
createChildren(KB, String, String, String) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for the Children field of an HTML page displaying the definition of term in kb.
createClause(Iterable<TptpParserOutput.Literal>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createClause(Iterable<TptpParserOutput.Literal>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the clause made of literals .
createCnfAnnotated(String, TptpParserOutput.FormulaRole, TptpParserOutput.CnfFormula, TptpParserOutput.Annotations, int) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createCnfAnnotated(String, TptpParserOutput.FormulaRole, TptpParserOutput.CnfFormula, TptpParserOutput.Annotations, int) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return a TptpInput object representing clause wrapped in the corresponding annotation.
createComments(KB, String, String, String) - Method in class com.articulate.sigma.DocGen: Returns a String containing the HTML markup for the Comment field in a page displaying the definition of term in kb.
createCompositeComponentLine(KB, String, String, int, String) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for a single table row in the Composite Component section of an HTML page displaying the partial definition of term in kb.
createCompositePage(KB, String, String, TreeMap, int, String, String) - Method in class com.articulate.sigma.DocGen: Create an HTML page that lists information about a particular composite term, which is a representation of an XML structure.
createCompositeRecurse(KB, String, boolean, int) - Method in class com.articulate.sigma.DocGen: Recursively computes and then returns a List that constitutes the graph containing those XML elements and attributes syntactically subordinate to term in kb.
createConditionalCounts() - Method in class com.articulate.sigma.nlp.NaiveBayes: Count the number of occurrences of each class.
createContainingCompositeComponentLine(KB, String, String, String, int, String) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for a row displaying a contained component in an HTML page displaying the partial definition of instance in kb.
createDescriptionInfoItem(String) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createDescriptionInfoItem(String) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <info item> corresponding to an instance of <description item> with the specified parameter.
createDisplayNames(KB, String, String, String) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for the Display Labels field of an HTML page displaying statements about term in kb.
createDocs(KB, String, String, String) - Method in class com.articulate.sigma.DocGen: Returns a String consisting of HTML markup for a documentation String for term obtained from kb and indexed by language.
createDotGraph(KB, String, String, int, int, String) - Method in class com.articulate.sigma.Graph: Create a ArrayList with a set of terms comprising a hierarchy in a format suitable for GraphViz' input format http://www.graphviz.org/ Generate a GIF from the .dot output with a command like dot SUMO-graph.dot -Tgif > graph.gif
createEqualityAtom(TptpParserOutput.Term, TptpParserOutput.Term) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createEqualityAtom(TptpParserOutput.Term, TptpParserOutput.Term) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the atomic formula obtained by applying the equality predicate to the terms.
createFofAnnotated(String, TptpParserOutput.FormulaRole, TptpParserOutput.FofFormula, TptpParserOutput.Annotations, int) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createFofAnnotated(String, TptpParserOutput.FormulaRole, TptpParserOutput.FofFormula, TptpParserOutput.Annotations, int) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return a TptpInput object representing formula wrapped in the corresponding annotation.
createFormPage(KB, String, Formula) - Static method in class com.articulate.sigma.Editor: Create an HTML form for editing facts about a term.
createFormula(KB, String, String, int, String, String, String) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for a SUO-KIF Formula.
createFormulaMatchMemoMapKey(String, String) - Static method in class com.articulate.sigma.FormulaUtil: Factory method for the memo map
createFromKBFile(String) - Method in class com.articulate.sigma.InferenceEngine.EngineFactory
createFromKBFile(String) - Method in class com.articulate.sigma.SInE.SInEFactory
createFromKBFile(String) - Method in class com.articulate.sigma.Vampire.VampireFactory
createGeneralCnfFormula(TptpParserOutput.CnfFormula) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createGeneralCnfFormula(TptpParserOutput.CnfFormula) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing a formula
createGeneralColon(TptpParserOutput.GeneralTerm, TptpParserOutput.GeneralTerm) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createGeneralColon(TptpParserOutput.GeneralTerm, TptpParserOutput.GeneralTerm) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing a general term obtained by applying ':' (colon) binary operator to two general terms.
createGeneralDistinctObject(String) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createGeneralDistinctObject(String) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing a general term constructed as a number or a double-quoted string (both represented as a string)
createGeneralFofFormula(TptpParserOutput.FofFormula) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createGeneralFofFormula(TptpParserOutput.FofFormula) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing a formula
createGeneralFunction(String, Iterable<TptpParserOutput.GeneralTerm>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createGeneralFunction(String, Iterable<TptpParserOutput.GeneralTerm>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the non-list term obtained by applying function to arguments .
createGeneralFunctionInfoItem(TptpParserOutput.GeneralTerm) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createGeneralFunctionInfoItem(TptpParserOutput.GeneralTerm) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <info item> corresponding to the specified instance of <general function>.
createGeneralList(Iterable<TptpParserOutput.GeneralTerm>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createGeneralList(Iterable<TptpParserOutput.GeneralTerm>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the general term constructed as a list.
createGeneralTerm(TptpParserOutput.Term) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createGeneralTerm(TptpParserOutput.Term) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing a formula
createGeneralThfFormula(TptpParserOutput.ThfFormula) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createGeneralThfFormula(TptpParserOutput.ThfFormula) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing a formula
createGeneralVariable(String) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createGeneralVariable(String) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing a general term constructed as a variable (represented as a string)
createGraph(ArrayList<String>) - Method in class com.articulate.sigma.DependencyConverter
createGraph(KB, String, String, int, int, String, String) - Method in class com.articulate.sigma.Graph: Create an ArrayList with a set of terms comprising a hierarchy Each term String will be prefixed with an appropriate number of indentChars.
createHasSameComponents(KB, String, String, String) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for the Has Same Components As field of an HTML page displaying the definition of term in kb.
createID() - Method in class com.articulate.sigma.Formula
createIncludeDirective(String, Iterable<String>, int) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createIncludeDirective(String, Iterable<String>, int) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return a TptpInput object representing the instance of <include> with the specified parameters.
createInferenceEngine(InferenceEngine.EngineFactory) - Method in class com.articulate.sigma.KB: Creates InferenceEngine and loads all of the constituents into it.
createInferenceRuleInfoItem(String, String, Iterable<TptpParserOutput.GeneralTerm>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createInferenceRuleInfoItem(String, String, Iterable<TptpParserOutput.GeneralTerm>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <info item> corresponding to an instance of <inference info> with the specified constituents.
createInferenceStatusInfoItem(TptpParserOutput.StatusValue) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createInferenceStatusInfoItem(TptpParserOutput.StatusValue) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <info item> corresponding to an instance of status(<status value>) with the specified parameter.
createInstances(KB, String, String, String, List) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for the Instances section of an HTML page displaying the definition of term in kb.
createInternalSource(String, Iterable<TptpParserOutput.InfoItem>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createInternalSource(String, Iterable<TptpParserOutput.InfoItem>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <source> corresponding to an instance of <internal source> with the specified constituents.
createIQuoteInfoItem(String) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createIQuoteInfoItem(String) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <info item> corresponding to an instance of <iquote item> with the specified parameter.
createKBHref(String, String) - Static method in class com.articulate.sigma.HTMLformatter: Create the HTML for a single step in a proof.
createKBMenu(String) - Static method in class com.articulate.sigma.HTMLformatter: Create an HTML menu of KB names
createLiteral(boolean, TptpParserOutput.AtomicFormula) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createLiteral(boolean, TptpParserOutput.AtomicFormula) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the literal with atom and the polarity determined by positive .
createMeans() - Method in class com.articulate.sigma.nlp.NaiveBayes
createMenu(String, String, ArrayList<String>) - Static method in class com.articulate.sigma.HTMLformatter: Create an HTML menu, given an ArrayList of Strings.
createMenu(String, String, ArrayList<String>, String) - Static method in class com.articulate.sigma.HTMLformatter: Create an HTML menu with an ID, given an ArrayList of Strings.
createMultiMenu(String, TreeMap<String, String>) - Static method in class com.articulate.sigma.HTMLformatter: Create an HTML menu with an ID, given an ArrayList of Strings, and possibly multiple selections.
createNegationOf(TptpParserOutput.FofFormula) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createNegationOf(TptpParserOutput.FofFormula) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the formula obtained by applying the negation connective to formula .
createNumberedMenu(String, String, ArrayList<String>) - Static method in class com.articulate.sigma.HTMLformatter: Create an HTML menu, given an ArrayList of Strings where the value(s) are String representations of int(s) but the displayed menu items are String(s).
createPage(KB, String, String, TreeMap, int, String, String) - Method in class com.articulate.sigma.DocGen: Create an HTML page that lists information about a particular term, with a limit on how many statements of each type should be displayed.
createParentInfo(TptpParserOutput.Source, TptpParserOutput.GeneralTerm) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createParentInfo(TptpParserOutput.Source, TptpParserOutput.GeneralTerm) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the parent info item with the specified parameters.
createParents(KB, String, String, String, Set) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for the Parents field of an HTML page displaying the definition of term in kb.
createPlainAtom(String, Iterable<TptpParserOutput.Term>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createPlainAtom(String, Iterable<TptpParserOutput.Term>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the atomic formula obtained by applying predicate to arguments .
createPlainTerm(String, Iterable<TptpParserOutput.Term>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createPlainTerm(String, Iterable<TptpParserOutput.Term>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the non-variable term obtained by applying function to arguments .
createPriorCounts() - Method in class com.articulate.sigma.nlp.NaiveBayes: Count the number of occurrences of each class.
createQuantifiedFormula(TptpParserOutput.Quantifier, Iterable<String>, TptpParserOutput.FofFormula) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createQuantifiedFormula(TptpParserOutput.Quantifier, Iterable<String>, TptpParserOutput.FofFormula) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the formula obtained by applying the quantifier quantifier to formula .
createReader(String) - Static method in class TPTPWorld.TPTPParser
createRefutationInfoItem(TptpParserOutput.Source) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createRefutationInfoItem(TptpParserOutput.Source) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <info item> corresponding to an instance of <refutation> with the specified parameter.
createRelations(KB, String, String, String, String) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for the Relations section of an HTML page displaying the definition of term in kb.
createSourceFromCreator(String, Iterable<TptpParserOutput.InfoItem>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createSourceFromCreator(String, Iterable<TptpParserOutput.InfoItem>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <source> corresponding to the specified creator.
createSourceFromFile(String, String) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createSourceFromFile(String, String) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <source> corresponding to the specified location in a file.
createSourceFromInferenceRecord(String, Iterable<TptpParserOutput.InfoItem>, Iterable<TptpParserOutput.ParentInfo>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createSourceFromInferenceRecord(String, Iterable<TptpParserOutput.InfoItem>, Iterable<TptpParserOutput.ParentInfo>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <source> corresponding to an instance of <inference record> with the specified constituents.
createSourceFromListOfSources(Iterable<TptpParserOutput.Source>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createSourceFromListOfSources(Iterable<TptpParserOutput.Source>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <source> corresponding to a list of <sources> with the specified constituents.
createSourceFromName(String) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createSourceFromName(String) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <source> corresponding to name .
createSourceFromTheory(String, Iterable<TptpParserOutput.InfoItem>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createSourceFromTheory(String, Iterable<TptpParserOutput.InfoItem>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing an instance of <source> corresponding to the specified theory.
createStandardDeviation() - Method in class com.articulate.sigma.nlp.NaiveBayes: Note that this computes the sample standard deviation sigma = sqrt( (1/(N-1)) sum(1,n,(xi-meanx)*(xi-meanx)))
createSynonyms(KB, String, String, String) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for the synonym field of an HTML page displaying the definition of term in kb.
createSystemAtom(String, Iterable<TptpParserOutput.Term>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createSystemAtom(String, Iterable<TptpParserOutput.Term>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the atomic formula obtained by applying predicate to arguments .
createSystemTerm(String, Iterable<TptpParserOutput.Term>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createSystemTerm(String, Iterable<TptpParserOutput.Term>) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the atomic formula obtained by applying function to arguments .
createThfAnnotated(String, TptpParserOutput.FormulaRole, TptpParserOutput.ThfFormula, TptpParserOutput.Annotations, int) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createThfAnnotated(String, TptpParserOutput.FormulaRole, TptpParserOutput.ThfFormula, TptpParserOutput.Annotations, int) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return a TptpInput object representing formula wrapped in the corresponding annotation.
createThfBinaryFormula(TptpParserOutput.ThfFormula, TptpParserOutput.BinaryConnective, TptpParserOutput.ThfFormula) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createThfBinaryFormula(TptpParserOutput.ThfFormula, TptpParserOutput.BinaryConnective, TptpParserOutput.ThfFormula) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the binary formula obtained by applying connective to lhs and rhs .
createThfPlainAtom(String, Iterable<TptpParserOutput.Term>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createThfPlainAtom(String, Iterable<TptpParserOutput.Term>) - Method in interface tptp_parser.TptpParserOutput
createThfQuantifiedFormula(TptpParserOutput.Quantifier, Iterable<TptpParserOutput.ThfFormula>, TptpParserOutput.ThfFormula) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createThfQuantifiedFormula(TptpParserOutput.Quantifier, Iterable<TptpParserOutput.ThfFormula>, TptpParserOutput.ThfFormula) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the formula obtained by applying the quantifier quantifier to formula .
createThfSystemAtom(String, Iterable<TptpParserOutput.Term>) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createThfSystemAtom(String, Iterable<TptpParserOutput.Term>) - Method in interface tptp_parser.TptpParserOutput
createThfUnaryOf(TptpParserOutput.UnaryConnective, TptpParserOutput.ThfFormula) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createThfUnaryOf(TptpParserOutput.UnaryConnective, TptpParserOutput.ThfFormula) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing the formula obtained by applying the negation connective to formula .
createThfVariableAtom(String) - Method in class tptp_parser.SimpleTptpParserOutput
createThfVariableAtom(String) - Method in interface tptp_parser.TptpParserOutput
createTotals() - Method in class com.articulate.sigma.nlp.NaiveBayes: Create totals per class of each variable that is continuous.
createUsingSameComponents(KB, String, String, String) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for the Composites Using Same Components field of an HTML page displaying the definition of term in kb.
createVariableTerm(String) - Method in class tptp_parser.SimpleTptpParserOutput: Implements the corresponding spec in TptpParserOutput.
createVariableTerm(String) - Method in interface tptp_parser.TptpParserOutput: A correct implementation must return an object representing variable as a term.
createWithFormulas(Iterable<String>) - Method in class com.articulate.sigma.InferenceEngine.EngineFactory
createWithFormulas(Iterable<String>) - Method in class com.articulate.sigma.SInE.SInEFactory
createWithFormulas(Iterable) - Method in class com.articulate.sigma.Vampire.VampireFactory
Creator(String, Iterable<TptpParserOutput.InfoItem>) - Constructor for class tptp_parser.SimpleTptpParserOutput.Source.Creator
creator_name(TptpParserOutput) - Method in class tptp_parser.TptpParser
crypt(String, String) - Static method in class Password.Password: Returns a String containing the encrypted passwd
currency - Variable in class com.articulate.sigma.Hotel
cut_query(qid_t) - Static method in class jpl.fli.Prolog
CVT_ALL - Static variable in class jpl.fli.Prolog
CVT_ATOM - Static variable in class jpl.fli.Prolog
CVT_ATOMIC - Static variable in class jpl.fli.Prolog
CVT_FLOAT - Static variable in class jpl.fli.Prolog
CVT_INTEGER - Static variable in class jpl.fli.Prolog
CVT_NUMBER - Static variable in class jpl.fli.Prolog
CVT_STRING - Static variable in class jpl.fli.Prolog
CVT_VARIABLE - Static variable in class jpl.fli.Prolog

D

d - Variable in class com.articulate.sigma.nlp.SVM
DATE_ENTITIES - Static variable in class com.articulate.sigma.semRewrite.datesandnumber.StanfordDateTimeExtractor
DATE_FORMAT_NOW - Static variable in class edu.dlsu.SUMOs.util.DateUtils
DateAndNumbersGeneration - Class in com.articulate.sigma.semRewrite.datesandnumber
DateAndNumbersGeneration() - Constructor for class com.articulate.sigma.semRewrite.datesandnumber.DateAndNumbersGeneration
DateInfo - Class in com.articulate.sigma.semRewrite.datesandnumber: This class holds the necessary information for Date group namely year, month,day, start index and end index of the word, whether it is a week day.
DateInfo() - Constructor for class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
DateInfo(DateInfo) - Constructor for class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
DatesAndDuration - Class in com.articulate.sigma.semRewrite.datesandnumber
DatesAndDuration() - Constructor for class com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
datesAndNumbersPredicates - Static variable in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
DateUtils - Class in edu.dlsu.SUMOs.util
DateUtils() - Constructor for class edu.dlsu.SUMOs.util.DateUtils
DAYS - Static variable in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
days - Static variable in class com.articulate.sigma.semRewrite.Interpreter
DB - Class in com.articulate.sigma: A class to interface with databases and database-like formats, such as spreadsheets.
DB() - Constructor for class com.articulate.sigma.DB
DEBUG - Static variable in class com.articulate.sigma.RowVars
DEBUG - Static variable in class jpl.JPL
debugString() - Method in class jpl.Atom
debugString() - Method in class jpl.Compound
debugString() - Method in class jpl.Float_JPL
debugString() - Method in class jpl.Integer_JPL
debugString() - Method in class jpl.List
debugString() - Method in class jpl.Long_JPL
debugString() - Method in class jpl.Query
debugString() - Method in class jpl.String_JPL
debugString() - Method in class jpl.Term
debugString(Term[]) - Static method in class jpl.Term
debugString() - Method in class jpl.Tuple
debugString() - Method in class jpl.Variable
DECODE - Static variable in class com.articulate.sigma.Base64: Specify decoding in first bit.
decode(byte[]) - Static method in class com.articulate.sigma.Base64: Low-level access to decoding ASCII characters in the form of a byte array.
decode(byte[], int, int, int) - Static method in class com.articulate.sigma.Base64: Low-level access to decoding ASCII characters in the form of a byte array.
decode(String) - Static method in class com.articulate.sigma.Base64: Decodes data from Base64 notation, automatically detecting gzip-compressed data and decompressing it.
decode(String, int) - Static method in class com.articulate.sigma.Base64: Decodes data from Base64 notation, automatically detecting gzip-compressed data and decompressing it.
decode(String) - Static method in class com.articulate.sigma.StringUtil: Returns a URL decoded String obtained from input, which is assumed to be a URL encoded String composed of characters in the default charset.
decodeFileToFile(String, String) - Static method in class com.articulate.sigma.Base64: Reads infile and decodes it to outfile.
decodeFromFile(String) - Static method in class com.articulate.sigma.Base64: Convenience method for reading a base64-encoded file and decoding it.
decodeFromHTML(String) - Static method in class com.articulate.sigma.HTMLformatter: change reserved characters to '&' tags
decodeFromURL(String) - Static method in class com.articulate.sigma.HTMLformatter: Change spaces to "%20"
decodeToFile(String, String) - Static method in class com.articulate.sigma.Base64: Convenience method for decoding data to a file.
decodeToObject(String) - Static method in class com.articulate.sigma.Base64: Attempts to decode Base64 data and deserialize a Java Object within.
decodeToObject(String, int, ClassLoader) - Static method in class com.articulate.sigma.Base64: Attempts to decode Base64 data and deserialize a Java Object within.
deduceMissingLinks() - Static method in class com.articulate.sigma.WordNetUtilities: Use the WordNet hyper-/hypo-nym links to deduce a likely link for a SUMO term that has not yet been manually linked.
deepCopy() - Method in class com.articulate.sigma.Formula
deepCopy() - Method in class com.articulate.sigma.semRewrite.Clause
deepCopy() - Method in class com.articulate.sigma.semRewrite.CNF
deepCopy() - Method in class com.articulate.sigma.semRewrite.LHS
deepCopy() - Method in class com.articulate.sigma.semRewrite.Literal
deepCopy() - Method in class com.articulate.sigma.semRewrite.RHS
deepCopy() - Method in class com.articulate.sigma.semRewrite.Rule
deepEquals(Formula) - Method in class com.articulate.sigma.Formula: Test if the contents of the formula are equal to the argument.
DEFAULT_KEY - Static variable in class com.articulate.sigma.DocGen
defaultImageFile - Variable in class com.articulate.sigma.DocGen: The default image file (such as an organization's logo) to be used in HTML generation
defaultImageFileMarkup - Variable in class com.articulate.sigma.DocGen: The default image file (such as an organization's logo) to be used in HTML generation, wrapped in any necessary additional markup required for proper display.
defaultNamespace - Variable in class com.articulate.sigma.DocGen: The default namespace associated with this DocGen object
defaultPredicateNamespace - Variable in class com.articulate.sigma.DocGen: The default namespace for predicates in the ontology associated with this DocGen object
defaultSystemBuiltIn - Static variable in class TPTPWorld.InterfaceTPTP
defaultSystemLocal - Static variable in class TPTPWorld.InterfaceTPTP
defaultSystemRemote - Static variable in class TPTPWorld.InterfaceTPTP
defaultTerm - Static variable in class com.articulate.sigma.TaxoModel
defined_term(TptpParserOutput) - Method in class tptp_parser.TptpParser
deleteUserAssertions() - Method in class com.articulate.sigma.KB: Deletes user assertions, both in the files and in the constituents list.
deleteUserAssertionsAndReload() - Method in class com.articulate.sigma.KB: Deletes the user assertions key in the constituents map, and then reloads the KBs.
Delphi - Class in com.articulate.delphi: The main container class for the Delphi system
Delphi() - Constructor for class com.articulate.delphi.Delphi
delphi - Static variable in class com.articulate.delphi.Delphi
denominator - Variable in class com.articulate.delphi.Distribution
DEP_ACOMP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_ADVCL - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_ADVMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_AGENT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_AMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_APPOS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_ATTR - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_AUX - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_AUXPASS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_CC - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_CCOMP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_COMPLM - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_CONJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_COP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_CSUBJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_CSUBJPASS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_DEP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_DET - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_DOBJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_EXPL - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_HMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_HYPH - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_INFMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_INTJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_IOBJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_MARK - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_META - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_NEG - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_NFMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_NMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_NN - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_NPADVMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_NSUBJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_NSUBJPASS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_NUM - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_NUMBER - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_OPRD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_PARATAXIS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_PARTMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_PASS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_PCOMP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_PMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_POBJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_POSS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_POSSESSIVE - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_PRECONJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_PREDET - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_PREP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_PRT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_PUNCT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_QMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_QUANTMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_RCMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_ROOT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_SUBJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_VMOD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_XCOMP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DEP_XSUBJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
DependencyConverter - Class in com.articulate.sigma
DependencyConverter() - Constructor for class com.articulate.sigma.DependencyConverter
DependencyConverter.Node - Class in com.articulate.sigma
depStrings - Variable in class com.articulate.sigma.DependencyConverter.Node
description - Variable in class com.articulate.delphi.Project
description - Variable in class com.articulate.sigma.Hotel
Description(String) - Constructor for class tptp_parser.SimpleTptpParserOutput.InfoItem.Description
DESCRIPTION - Static variable in interface tptp_parser.TptpTokenTypes
deviation(HashMap<String, Float>, HashMap<String, Float>, float, float) - Static method in class com.articulate.sigma.nlp.WNsim
Diagnostics - Class in com.articulate.sigma: A class that finds problems in a knowledge base.
Diagnostics() - Constructor for class com.articulate.sigma.Diagnostics
DiningDBImport() - Static method in class com.articulate.sigma.DB
Directive - Static variable in class com.articulate.sigma.semRewrite.Lexer
disambigReviews(ArrayList<Hotel>) - Static method in class com.articulate.sigma.DB
discard_foreign_frame(fid_t) - Static method in class jpl.fli.Prolog
DISEQUIVALENCE - Static variable in interface tptp_parser.TptpTokenTypes
disjunction(TptpParserOutput) - Method in class tptp_parser.TptpParser
disjuncts - Variable in class com.articulate.sigma.semRewrite.Clause
displayByKey(String, String, String) - Method in class com.articulate.sigma.WordNet
DisplayFilter - Interface in com.articulate.sigma: This interface mandates the method isLegalForDisplay, which determines whether or the display of a givne SUO-KIF term will be allowed the calling context.
displayFilter - Variable in class com.articulate.sigma.DocGen: The DisplayFilter which, if present, determines if a given SUO-KIF object may be displayed or output by this DocGen object.
displaySynset(String, String, String) - Static method in class com.articulate.sigma.OMWordnet
displaySynset(String, String, String) - Method in class com.articulate.sigma.WordNet
displayTerm(String) - Static method in class com.articulate.sigma.TaxoModel: If the given name is already displayed, do nothing, otherwise create a new tree with that one node.
DISTINCT_OBJECT - Static variable in interface tptp_parser.TptpTokenTypes
Distribution - Class in com.articulate.delphi
Distribution() - Constructor for class com.articulate.delphi.Distribution
DIVIDEFN - Static variable in class com.articulate.sigma.Formula
DO_BREAK_LINES - Static variable in class com.articulate.sigma.Base64: Do break lines when encoding.
DOC_GEN_INSTANCES - Static variable in class com.articulate.sigma.DocGen
DOC_PREDICATES - Static variable in class com.articulate.sigma.Formula
DocGen - Class in com.articulate.sigma: A class to generate simplified HTML-based documentation for SUO-KIF terms.
DocGen() - Constructor for class com.articulate.sigma.DocGen: To obtain an instance of DocGen, use the static factory method getInstance().
docGen - Variable in class com.articulate.sigma.DocGen.PresentationNameComparator
DocGen.DisplayFilter - Interface in com.articulate.sigma
DocGen.PresentationNameComparator - Class in com.articulate.sigma
docGenControlBits - Variable in class com.articulate.sigma.DocGen: A int value representing the bit values that control the file generation process.
docGenKey - Variable in class com.articulate.sigma.DocGen: A default key to identify this particular DocGen object
Document - Class in com.articulate.sigma
Document() - Constructor for class com.articulate.sigma.Document
DOLLAR_DOLLAR_WORD - Static variable in interface tptp_parser.TptpTokenTypes
DOLLAR_WORD - Static variable in interface tptp_parser.TptpTokenTypes
DONT_GUNZIP - Static variable in class com.articulate.sigma.Base64: Specify that gzipped data should not be automatically gunzipped.
doProcessLevelNatlLanguageGeneration() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Generate natural language from the contents of the top element of the stack.
doStatementLevelNatlLanguageGeneration() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Top-level method call for informal NLG after all the elements of the formula have been processed.
DOT - Static variable in interface tptp_parser.TptpTokenTypes
DoubleHolder - Class in jpl.fli: A DoubleHolder is merely a Holder class for a double value.
DoubleHolder() - Constructor for class jpl.fli.DoubleHolder

E

edges - Variable in class com.articulate.sigma.DependencyConverter.Node
Edit - Class in com.articulate.sigma: Class for invoking a client side text editor.
Edit() - Constructor for class com.articulate.sigma.Edit
editFile(String, int) - Static method in class com.articulate.sigma.Edit
EditGUI - Class in com.articulate.sigma: A class that generates a GUI for elements of the ontology.
EditGUI() - Constructor for class com.articulate.sigma.EditGUI
Editor - Class in com.articulate.sigma
Editor() - Constructor for class com.articulate.sigma.Editor
edu.dlsu.SUMOs.main - package edu.dlsu.SUMOs.main
edu.dlsu.SUMOs.obj - package edu.dlsu.SUMOs.obj
edu.dlsu.SUMOs.util - package edu.dlsu.SUMOs.util
elements - Variable in class com.articulate.sigma.BasicXMLparser: An ArrayList of BasicXMLelement(s).
elements() - Method in class jpl.List: This method return an enumeration of a nil-terminated List.
elt(int) - Method in class jpl.Tuple
email - Variable in class com.articulate.sigma.Hotel
empty() - Method in class com.articulate.sigma.Formula: Test whether the Formula is an empty list.
empty(String) - Static method in class com.articulate.sigma.Formula: Test whether the String is an empty formula.
empty() - Method in class com.articulate.sigma.semRewrite.Clause
empty() - Method in class com.articulate.sigma.semRewrite.CNF
EMPTY_SEQUENCE - Static variable in class com.articulate.sigma.semRewrite.substitutor.CoreLabelSequence
emptyString(String) - Static method in class com.articulate.sigma.DB
emptyString(String) - Static method in class com.articulate.sigma.DocGen
emptyString(Object) - Static method in class com.articulate.sigma.StringUtil
ENCODE - Static variable in class com.articulate.sigma.Base64: Specify encoding in first bit.
encode(ByteBuffer, ByteBuffer) - Static method in class com.articulate.sigma.Base64: Performs Base64 encoding on the raw ByteBuffer, writing it to the encoded ByteBuffer.
encode(ByteBuffer, CharBuffer) - Static method in class com.articulate.sigma.Base64: Performs Base64 encoding on the raw ByteBuffer, writing it to the encoded CharBuffer.
encode(String) - Static method in class com.articulate.sigma.StringUtil: Returns a URL encoded String obtained from input, which is assumed to be a String composed of characters in the default charset.
encodeBytes(byte[]) - Static method in class com.articulate.sigma.Base64: Encodes a byte array into Base64 notation.
encodeBytes(byte[], int) - Static method in class com.articulate.sigma.Base64: Encodes a byte array into Base64 notation.
encodeBytes(byte[], int, int) - Static method in class com.articulate.sigma.Base64: Encodes a byte array into Base64 notation.
encodeBytes(byte[], int, int, int) - Static method in class com.articulate.sigma.Base64: Encodes a byte array into Base64 notation.
encodeBytesToBytes(byte[]) - Static method in class com.articulate.sigma.Base64: Similar to Base64.encodeBytes(byte[]) but returns a byte array instead of instantiating a String.
encodeBytesToBytes(byte[], int, int, int) - Static method in class com.articulate.sigma.Base64: Similar to Base64.encodeBytes(byte[], int, int, int) but returns a byte array instead of instantiating a String.
encodeFileToFile(String, String) - Static method in class com.articulate.sigma.Base64: Reads infile and encodes it to outfile.
encodeForHTML(String) - Static method in class com.articulate.sigma.HTMLformatter: change reserved characters from '&' tags
encodeForURL(String) - Static method in class com.articulate.sigma.HTMLformatter: Change spaces to "%20" along with many other URL codes.
encodeFromFile(String) - Static method in class com.articulate.sigma.Base64: Convenience method for reading a binary file and base64-encoding it.
encodeObject(Serializable) - Static method in class com.articulate.sigma.Base64: Serializes an object and returns the Base64-encoded version of that serialized object.
encodeObject(Serializable, int) - Static method in class com.articulate.sigma.Base64: Serializes an object and returns the Base64-encoded version of that serialized object.
encodeToFile(byte[], String) - Static method in class com.articulate.sigma.Base64: Convenience method for encoding data to a file.
encrypt(String) - Method in class com.articulate.delphi.PasswordService: Encrypts a string with a deterministic algorithm.
encrypt(String) - Method in class com.articulate.sigma.PasswordService: Encrypts a string with a deterministic algorithm.
encrypt(String, String) - Static method in class com.articulate.sigma.StringUtil: Converts input, which is assumed to belong to charset, to a base 64 representation, and then encrypts the result using the SHA algorithm.
END_SOLN_TAG - Static variable in class TPTPWorld.SystemInfoParser
endFilePosition - Variable in class com.articulate.sigma.Formula: The length of the file in bytes at the position immediately after the end of the formula.
endLine - Variable in class com.articulate.sigma.Formula: The line in the file on which the formula ends.
endPrice - Variable in class com.articulate.sigma.Hotel
endSoln - Variable in class TPTPWorld.ATPSystem
EngineFactory() - Constructor for class com.articulate.sigma.InferenceEngine.EngineFactory
EntityType - Enum in com.articulate.sigma.semRewrite
EntityTypeParser - Class in com.articulate.sigma.semRewrite
EntityTypeParser(Annotation) - Constructor for class com.articulate.sigma.semRewrite.EntityTypeParser
EOF - Static variable in interface tptp_parser.TptpTokenTypes
EOFToken - Static variable in class com.articulate.sigma.semRewrite.Lexer
eolIsSignificant(boolean) - Method in class com.articulate.sigma.StreamTokenizer_s: Determines whether or not ends of line are treated as tokens.
EProver - Class in com.articulate.sigma
EProver(String, String) - Constructor for class com.articulate.sigma.EProver: Create a new batch specification file, and create a new running instance of EProver.
EProver(String) - Constructor for class com.articulate.sigma.EProver: Create a running instance of EProver based on existing batch specification file.
eprover - Variable in class com.articulate.sigma.KB: The inference engine process for this KB.
eps - Variable in class com.articulate.sigma.nlp.SVM
EQUAL - Static variable in class com.articulate.sigma.Formula
EQUAL - Static variable in interface tptp_parser.TptpTokenTypes
equals(Object) - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
equals(Object) - Method in class com.articulate.sigma.Formula: Test if the contents of the formula are equal to the argument.
equals(String) - Method in class com.articulate.sigma.Formula: Test if the contents of the formula are equal to the String argument.
equals(Object) - Method in class com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
equals(Object) - Method in class com.articulate.sigma.semRewrite.Clause
equals(Object) - Method in class com.articulate.sigma.semRewrite.CNF
equals(Object) - Method in class com.articulate.sigma.semRewrite.CommonCNFUtil.Pair
equals(DateInfo) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
equals(TimeInfo) - Method in class com.articulate.sigma.semRewrite.datesandnumber.TimeInfo: Overridden equals method.
equals(Tokens) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens
equals(Object) - Method in class com.articulate.sigma.semRewrite.Literal
equals(Object) - Method in class jpl.Atom: Two Atoms are equal if their names are equal
equals(Object) - Method in class jpl.Compound: Two Compounds are equal if their atoms are equal and their term arguments are equal.
equals(Object) - Method in class jpl.fli.term_t: Instances of term_ts are stored in Term objects (see jpl.Term), and these term_ts are in some cases stored in Hashtables.
equals(Object) - Method in class jpl.Float_JPL: Two Floats are equal if their values are equal
equals(Object) - Method in class jpl.Integer_JPL: Two Integers are equal if their values are equal
equals(Object) - Method in class jpl.Long_JPL: Two Longs are equal if their values are equal
equals(Object) - Method in class jpl.String_JPL: Two Strings are equal if their values are equal
equals(Object) - Method in class jpl.Variable: A Variable is equal to another when their corresponding term_ts (internal Prolog represenations) are equal.
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Atomic
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Binary
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.Formula
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Negation
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Quantified
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.Literal
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.Symbol
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.Term
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfAtomic
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfBinary
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfQuantified
equals(Object) - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfUnary
equalsAnswer(int, String) - Method in class com.articulate.sigma.ProofProcessor: Compare the answer with the expected answer.
equalsToEntityType(String, EntityType) - Method in class com.articulate.sigma.semRewrite.EntityTypeParser
EQUANT - Static variable in class com.articulate.sigma.Formula
EQUIVALENCE - Static variable in interface tptp_parser.TptpTokenTypes
errors - Variable in class com.articulate.sigma.Formula
errors - Variable in class com.articulate.sigma.KB: Errors and warnings found during loading of the KB constituents.
escapeEscapeChars(String) - Static method in class com.articulate.sigma.StringUtil
escapeFilename(String) - Static method in class com.articulate.sigma.KBmanager: Double the backslash in a filename so that it can be saved to a text file and read back properly.
escapeQuoteChars(String) - Static method in class com.articulate.sigma.StringUtil
examples - Static variable in class com.articulate.sigma.OMWordnet
exception(qid_t) - Static method in class jpl.fli.Prolog
exceptionNounHash - Variable in class com.articulate.sigma.WordNet: list of irregular plural forms where the key is the plural, singular is the value.
exceptionVerbHash - Variable in class com.articulate.sigma.WordNet
excluded(String) - Static method in class com.articulate.sigma.semRewrite.Interpreter
execJSON(String) - Static method in class com.articulate.sigma.Hotel
EXIST - Static variable in interface tptp_parser.TptpTokenTypes
existsKB(String) - Method in class com.articulate.sigma.KBmanager: Returns true if a KB with the given name exists.
expandNode(String) - Static method in class com.articulate.sigma.TaxoModel: Gather information from the knowledge base to create the data for the children of this node.
expandParentNodes(String) - Static method in class com.articulate.sigma.TaxoModel: Gather information from the knowledge base to create the data for the parents of this node.
expandRowVars(KB, Formula) - Static method in class com.articulate.sigma.RowVars: Expand row variables, keeping the information about the original source formula.
explicitDisjointRelations - Variable in class com.articulate.sigma.KBcache: Disjoint relations which were explicitly defined in "partition", "disjoint", "disjointDecomposition" and "exhaustiveDecomposition" expressions
exportTable(KB) - Method in class com.articulate.sigma.DB: Export a comma-delimited table of all the ground binary statements in the knowledge base.
extractAnswers(Hashtable<String, TPTPFormula>) - Static method in class TPTPWorld.AnswerExtractor
extractAnswers(TPTPParser) - Static method in class TPTPWorld.AnswerExtractor
extractEntities(String) - Static method in class com.articulate.sigma.NER
extractFile(Path) - Static method in class com.articulate.sigma.semRewrite.QAOutputGenerator
extractMeronyms() - Static method in class com.articulate.sigma.WordNetUtilities: A utility to extract meronym relations as relations between SUMO terms.
extractVariables(Formula) - Static method in class com.articulate.sigma.Clausifier: Extract all variables in a list
extractVine(Hashtable<String, TPTPFormula>) - Static method in class TPTPWorld.AnswerExtractor

F

F_CONTROL_TOKENS - Static variable in class com.articulate.sigma.DocGen
F_SI - Static variable in class com.articulate.sigma.DocGen: This String token denotes Sigma's "simple" HTML layout, and is used as a flag in the HTML generation code to switch between full and simple modes.
facilities - Variable in class com.articulate.sigma.Hotel
FactoryUtil - Class in com.articulate.sigma: This class defines static accessors and factory methods for Sigma facilities that require extensive initialization, or depend on reflection, or must be created in a special context, or for which creation through invocation of a simple constructor is not adequate.
fail - Static variable in class jpl.fli.Prolog
fax - Variable in class com.articulate.sigma.Hotel
feedData - Variable in class com.articulate.sigma.Hotel
femaleNames - Static variable in class com.articulate.sigma.DependencyConverter
fid_t - Class in jpl.fli: An fid_t holds the value of a frame id in the Prolog Engine.
fid_t() - Constructor for class jpl.fli.fid_t
File(String, String) - Constructor for class tptp_parser.SimpleTptpParserOutput.Source.File
file2string(File) - Method in class com.articulate.sigma.semRewrite.Lexer: Read the contents of a text file into a String.
file_info(TptpParserOutput) - Method in class tptp_parser.TptpParser
file_name(TptpParserOutput) - Method in class tptp_parser.TptpParser
file_source(TptpParserOutput) - Method in class tptp_parser.TptpParser
filename - Variable in class com.articulate.sigma.semRewrite.Lexer
filename - Static variable in class com.articulate.sigma.semRewrite.RuleSet
fill(String, int) - Static method in class com.articulate.sigma.DB
fillString(String, char, int, boolean) - Static method in class com.articulate.sigma.StringUtil: Fill a string with the desired character up to the totalLength.
filterExcludePredicates(HashSet<String>, Formula) - Static method in class com.articulate.sigma.SUMOKBtoTPTPKB: return true if the given formula is simple clause, and contains one of the excluded predicates; otherwise return true;
filterHtml(String) - Static method in class com.articulate.sigma.StringUtil: Remove HTML from input string.
filterLooksDifferent(String) - Static method in class TPTPWorld.LooksDifferent
filterSimpleOnly - Static variable in class com.articulate.sigma.SUMOKBtoTPTPKB
filterSumoTerms() - Method in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
findBalancedParen(int, String) - Static method in class com.articulate.sigma.StringUtil: Find the parenthesis that balances the one in st at character pIndex
findContainingComposites(KB, String) - Method in class com.articulate.sigma.DocGen: Returns an ArrayList holding the composite entities (Elements) that contain term, or returns an empty ArrayList.
findExplicitTypes(Formula) - Method in class com.articulate.sigma.FormulaPreprocessor: Collect variable names and their types from instance or subclass expressions.
findExplicitTypesClasses(Formula, HashMap<String, HashSet<String>>, HashMap<String, HashSet<String>>) - Method in class com.articulate.sigma.FormulaPreprocessor: Collect variable names and their types from instance or subclass expressions.
findExplicitTypesClassesInAntecedent(Formula) - Method in class com.articulate.sigma.FormulaPreprocessor: Collect the types of any variables that are specifically defined in the antecedent of a rule with an instance expression; Collect the super classes of any variables that are specifically defined in the antecedent of a rule with an subclass expression;
findExplicitTypesInAntecedent(Formula) - Method in class com.articulate.sigma.FormulaPreprocessor: Collect the types of any variables that are specifically defined in the antecedent of a rule with an instance or subclass expression.
findExplicitTypesRecurse(Formula, boolean, HashMap<String, HashSet<String>>, HashMap<String, HashSet<String>>) - Static method in class com.articulate.sigma.FormulaPreprocessor: Recursively collect a variable name and its types.
findLeaves(String) - Static method in class com.articulate.sigma.WordNetUtilities: Find all the leaf nodes for a particular relation in WordNet.
findLeavesInTree(HashSet<String>) - Static method in class com.articulate.sigma.WordNetUtilities: Find all the leaf nodes for a particular relation in WordNet.
findMultiWord(List<String>, int, List<String>) - Method in class com.articulate.sigma.wordNet.MultiWords: Find the synset for a multi-word string, if it exists.
findMultiWord(String, List<String>, List<String>) - Method in class com.articulate.sigma.wordNet.MultiWords
findOneCommonCNF(Collection<CNF>) - Static method in class com.articulate.sigma.semRewrite.CommonCNFUtil
findPath(String, String, String) - Static method in class com.articulate.sigma.semRewrite.CommonCNFUtil: find all the paths between two literals
findPathsToRoot(ArrayList<String>, String) - Static method in class com.articulate.sigma.WordNetUtilities: Find the complete path from a given synset.
findPOSInformation(List<CoreLabel>, List<String>) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil: returns a list of strings that add tense, number, etc.
findProof(String, String) - Static method in class TPTPWorld.AnswerFinder
findProof(String, String, String) - Static method in class TPTPWorld.AnswerFinder
findProofWithAnswers(String, String) - Static method in class TPTPWorld.AnswerFinder
findProofWithAnswers(BufferedReader, String) - Static method in class TPTPWorld.AnswerFinder
findRoot(HashMap<String, DependencyConverter.Node>) - Method in class com.articulate.sigma.DependencyConverter
findTrainingSetSize() - Method in class com.articulate.sigma.nlp.NaiveBayes
findType(int, String, KB) - Static method in class com.articulate.sigma.FormulaPreprocessor: Find the argument type restriction for a given predicate and argument number that is inherited from one of its super-relations.
findTypesForSkolemTerms(TPTP3ProofProcessor, KB) - Static method in class com.articulate.sigma.TPTP3ProofProcessor: Return the most specific type for skolem variable.
findWordSendInContextWithPos(String, List<String>, int) - Static method in class com.articulate.sigma.WSD: Return the best guess at the synset for the given word in the context of the sentence with the given POS.
findWordSenseInContext(String, List<String>) - Static method in class com.articulate.sigma.WSD: Return the best guess at the synset for the given word in the context of the sentence.
findWordSensePOS(String, List<String>, int) - Static method in class com.articulate.sigma.WSD: Return the best guess at the synset for the given word in the context of the sentence.
findWSD(List<String>, Map<String, String>, EntityTypeParser) - Static method in class com.articulate.sigma.semRewrite.Interpreter
FlagUtilities - Class in com.articulate.sigma.semRewrite.datesandnumber
FlagUtilities() - Constructor for class com.articulate.sigma.semRewrite.datesandnumber.FlagUtilities
FLOAT - Static variable in class jpl.fli.Prolog
Float_JPL - Class in jpl: A Float is a Term with a double field.
Float_JPL(double) - Constructor for class jpl.Float_JPL: This constructor creates a Float, initialized with the supplied value.
floors - Variable in class com.articulate.sigma.Hotel
flushBase64() - Method in class com.articulate.sigma.Base64.OutputStream: Method added by PHIL.
FN_SUFF - Static variable in class com.articulate.sigma.Formula
fname - Variable in class com.articulate.sigma.semRewrite.Interpreter
fof_formula(TptpParserOutput) - Method in class tptp_parser.TptpParser
fofify() - Method in class TPTPWorld.TPTPFormula
footerText - Variable in class com.articulate.sigma.DocGen: The document footer text to be used for HTML generation
form - Variable in class com.articulate.sigma.semRewrite.RHS
format(String, String, String) - Method in class com.articulate.sigma.Formula: Format a formula for either text or HTML presentation by inserting the proper hyperlink code, characters for indentation and end of line.
formatAnswer(Formula, List<String>, KB) - Static method in class com.articulate.sigma.semRewrite.Interpreter: generates the answer to a query by replacing the variables with the results from the inference call
formatCompositeHierarchy(KB, String, List, String) - Method in class com.articulate.sigma.DocGen: Returns a String containing HTML markup for a hierarchy or tree display of terms that denote nested composite components.
formatConsistencyCheck(String, String, String, int) - Static method in class com.articulate.sigma.HTMLformatter
formatContainingComposites(KB, String, ArrayList, String, String) - Method in class com.articulate.sigma.DocGen: Given the SUO-KIF statements: (hasXmlElement PartyDescriptor LocalInstance_2_459) (datatype LocalInstance_2_459 PartyId) (documentation LocalInstance_2_459 PartyDescriptor "A Composite containing details...") show PartyDescriptor as one of the "containing composites" of PartyId, and show the documentation for the instance node next to the parent composite.
formatDocumentation(String, String, String) - Method in class com.articulate.sigma.KB: Hyperlink terms identified with '&%' to the URL that brings up that term in the browser.
formatErrors(KB) - Static method in class com.articulate.sigma.HTMLformatter: hyperlink formulas in error messages.
formatFormulaList(ArrayList<Formula>, String, KB, String, String, int, int, String) - Static method in class com.articulate.sigma.HTMLformatter: Create the HTML for a section of the Sigma term browser page.
formatList(String, String) - Static method in class com.articulate.sigma.nlg.NLGUtils: Format a list of variables which are not enclosed by parens.
formatProofResult(String, String, String, String, String, String) - Static method in class com.articulate.sigma.HTMLformatter: Create an HTML formatted result of a query.
formatProofResult(String, String, String, String, String, String, int) - Static method in class com.articulate.sigma.HTMLformatter
formatProofResult(ArrayList<BasicXMLelement>, String, String, String, String, String, int) - Static method in class com.articulate.sigma.HTMLformatter
formatSUMO(HashSet<String>) - Static method in class com.articulate.sigma.DependencyConverter
formatTPTP3ProofResult(TPTP3ProofProcessor, String, String, String, String) - Static method in class com.articulate.sigma.HTMLformatter
formatWords(String, String, String, String) - Static method in class com.articulate.sigma.OMWordnet: HTML format a list of word senses
formatWords(TreeMap<String, String>, String) - Static method in class com.articulate.sigma.WordNetUtilities: HTML format a TreeMap of word senses and their associated synset
formatWordsList(TreeMap<String, ArrayList<String>>, String) - Static method in class com.articulate.sigma.WordNetUtilities: HTML format a TreeMap of ArrayLists word senses
Formula - Class in com.articulate.sigma: Handle operations on an individual formula.
Formula(Formula) - Constructor for class com.articulate.sigma.Formula
Formula() - Constructor for class com.articulate.sigma.Formula
Formula(String) - Constructor for class com.articulate.sigma.Formula
Formula() - Constructor for class tptp_parser.SimpleTptpParserOutput.Formula
formula_data(TptpParserOutput) - Method in class tptp_parser.TptpParser
formula_role(TptpParserOutput) - Method in class tptp_parser.TptpParser
formula_selection(TptpParserOutput) - Method in class tptp_parser.TptpParser
FormulaArg(String, StackElement.StackState) - Constructor for class com.articulate.sigma.nlg.StackElement.FormulaArg
formulaMap - Variable in class com.articulate.sigma.KB: A Map of all the Formula objects in the KB.
formulaMap - Variable in class com.articulate.sigma.KIF: A HashMap of String keys representing the formula, and Formula values.
FormulaMatchMemoMapKey(String, String) - Constructor for class com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
FormulaPreprocessor - Class in com.articulate.sigma
FormulaPreprocessor() - Constructor for class com.articulate.sigma.FormulaPreprocessor
formulaRole - Variable in class com.articulate.sigma.ProofStep: A String of the role of the formula
formulas - Variable in class com.articulate.sigma.KB: A HashMap of ArrayLists of String formulae, containing all the formulae in the KB.
formulas - Variable in class com.articulate.sigma.KIF: A HashMap of ArrayLists of Formulas.
formulasToArrayLists(List<Formula>) - Static method in class com.articulate.sigma.KB: Converts all Formula objects in the input List to ArrayList tuples.
formulateNaturalVerb(Sentence) - Method in class com.articulate.sigma.nlg.SumoProcess: Try to phrase the verb into natural language, setting this object's internal state appropriately.
formulaType - Variable in class com.articulate.sigma.ProofStep: A String of the type clause or formula
FormulaUtil - Class in com.articulate.sigma: Created by sserban on 2/17/15.
FormulaUtil() - Constructor for class com.articulate.sigma.FormulaUtil
FormulaUtil.FormulaMatchMemoMapKey - Class in com.articulate.sigma
from(CoreLabel...) - Static method in class com.articulate.sigma.semRewrite.substitutor.CoreLabelSequence
from_term_t(Hashtable, term_t) - Static method in class jpl.Atom: Converts a term_t to an Atom.
from_term_t(Hashtable, term_t) - Static method in class jpl.Compound: Converts a term_t to a Compound.
from_term_t(Hashtable, term_t) - Static method in class jpl.Float_JPL: Converts a term_t to an Atom.
from_term_t(Hashtable, term_t) - Static method in class jpl.Integer_JPL: Converts a term_t to an Atom.
from_term_t(Hashtable, term_t) - Static method in class jpl.Long_JPL: Converts a term_t to an Atom.
from_term_t(Hashtable, term_t) - Static method in class jpl.String_JPL: Converts a term_t to a String.
from_term_t(Hashtable, int, term_t) - Static method in class jpl.Term: This method calls from_term_t on each term in the consecutive list of term_ts.
from_term_t(Hashtable, term_t) - Static method in class jpl.Term: We do some type analysis on the term_t then forward the call to the appropriate class
from_term_t(Hashtable, term_t) - Static method in class jpl.Variable: Converts a term_t to a Variable.
fromArray(Integer[]) - Method in class com.articulate.delphi.Distribution
fromBase64(String, String) - Static method in class com.articulate.sigma.StringUtil: Given an input String encoded in base-64, decodes the String and returns the original form of input in charset.
fromCNF(CNF) - Method in class com.articulate.sigma.semRewrite.Graph: Convert from CNF into the Graph structure
fromKIFClauses(ArrayList<String>) - Method in class com.articulate.sigma.semRewrite.Interpreter
fromLists(List<String>, List<List<String>>) - Method in class com.articulate.sigma.semRewrite.Graph
fromObjectArray(Object[]) - Static method in class com.articulate.delphi.Delphi
fromOMWsynset(String) - Static method in class com.articulate.sigma.OMWordnet: Convert a POS-suffix OMW synset to an 8-digit WordNet synset.
fromSentence(String, Pipeline) - Method in class com.articulate.sigma.semRewrite.Graph: Convert from a sentence into the Graph structure
fromXML(BasicXMLelement) - Method in class com.articulate.delphi.Cell: Read in an XML input
fromXML(String) - Method in class com.articulate.delphi.Delphi
fromXML(BasicXMLelement) - Method in class com.articulate.delphi.Project: Read in an XML-formatted String
fromXML(BasicXMLelement) - Method in class com.articulate.delphi.Table: Read in an XML-formatted String
fromXML(BasicXMLelement) - Method in class com.articulate.delphi.User: Read in an XML object
fromXML(BasicXMLelement) - Method in class com.articulate.sigma.User: Read in an XML object
ftable - Variable in class TPTPWorld.TPTPParser
FullStop - Static variable in class com.articulate.sigma.semRewrite.Lexer
FUNCTOR - Static variable in class jpl.fli.Prolog
functor_arity(functor_t) - Static method in class jpl.fli.Prolog
functor_name(functor_t) - Static method in class jpl.fli.Prolog
functor_t - Class in jpl.fli: A functor_t holds a reference to a Prolog functor_t in the Prolog engine.
functor_t() - Constructor for class jpl.fli.functor_t

G

gatherParents(SimpleTptpParserOutput.Source, Vector<String>) - Static method in class TPTPWorld.TPTPParser
gatherPredVars(Formula) - Static method in class com.articulate.sigma.PredVarInst: Collect and return all predicate variables for the given formula
gatherRelationConstants() - Method in class com.articulate.sigma.Formula: Returns a HashSet of all atomic KIF Relation constants that occur as Predicates or Functions (argument 0 terms) in this Formula.
gatherRelationsWithArgTypes(KB) - Method in class com.articulate.sigma.Formula: Returns a HashMap in which the keys are the Relation constants gathered from this Formula, and the values are ArrayLists in which the ordinal positions 0 - n are occupied by the names of the corresponding argument types.
GaussElim - Class in com.articulate.sigma.nlp: Created by apease on 4/24/15.
GaussElim() - Constructor for class com.articulate.sigma.nlp.GaussElim
genAllParentList(KB, String) - Static method in class com.articulate.sigma.EditGUI: Get the all parent classes of term.
genClassList(KB, String) - Static method in class com.articulate.sigma.EditGUI: Collect a set of relations in which the type of given term is an argument subclass, and collect the set of possible argument fillers.
genClassPage(KB, String, String) - Static method in class com.articulate.sigma.EditGUI: Generate a set of menus comprising relations that apply to this class i.e.
general_data(TptpParserOutput) - Method in class tptp_parser.TptpParser
general_list(TptpParserOutput) - Method in class tptp_parser.TptpParser
general_term(TptpParserOutput) - Method in class tptp_parser.TptpParser
general_terms(TptpParserOutput) - Method in class tptp_parser.TptpParser
GeneralFunction(TptpParserOutput.GeneralTerm) - Constructor for class tptp_parser.SimpleTptpParserOutput.InfoItem.GeneralFunction
GeneralTerm(String, Iterable<TptpParserOutput.GeneralTerm>) - Constructor for class tptp_parser.SimpleTptpParserOutput.GeneralTerm
GeneralTerm(Iterable<TptpParserOutput.GeneralTerm>) - Constructor for class tptp_parser.SimpleTptpParserOutput.GeneralTerm
GeneralTerm(TptpParserOutput.GeneralTerm, TptpParserOutput.GeneralTerm) - Constructor for class tptp_parser.SimpleTptpParserOutput.GeneralTerm
GeneralTerm(String) - Constructor for class tptp_parser.SimpleTptpParserOutput.GeneralTerm
GeneralTerm(TptpParserOutput.ThfFormula) - Constructor for class tptp_parser.SimpleTptpParserOutput.GeneralTerm
GeneralTerm(TptpParserOutput.FofFormula) - Constructor for class tptp_parser.SimpleTptpParserOutput.GeneralTerm
GeneralTerm(TptpParserOutput.CnfFormula) - Constructor for class tptp_parser.SimpleTptpParserOutput.GeneralTerm
GeneralTerm(TptpParserOutput.Term) - Constructor for class tptp_parser.SimpleTptpParserOutput.GeneralTerm
generate(String, String, Interpreter) - Static method in class com.articulate.sigma.semRewrite.QAOutputGenerator: generate output with filename and output to jasonfilename both should with path
generateCNFForStringSet(Map<Integer, String>) - Static method in class com.articulate.sigma.semRewrite.CommonCNFUtil
generateDB(KB) - Method in class com.articulate.sigma.DB: Generate an SQL database from the knowledge base Tables must be defined as instances of &%DatabaseTable and must have &%localDocumentation and &%HasDatabaseColumn relations.
generateDurationSumoTerms(IndexedWord, Utilities, DateInfo, DateInfo) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
generateDynamicTOCHeader(String) - Method in class com.articulate.sigma.DocGen: Generate an alphabetic HTML list that points to the individual index pages (which collect all terms starting with a particular letter.
generateForDir(String, Interpreter) - Static method in class com.articulate.sigma.semRewrite.QAOutputGenerator: generate output with filename and output to jasonfilename both should with path
generateForFile(String, Interpreter) - Static method in class com.articulate.sigma.semRewrite.QAOutputGenerator: generate output with filename and output to jasonfilename both should with path
generateHTML(KB, String, boolean, String) - Method in class com.articulate.sigma.DocGen: Generate simplified HTML pages for all terms.
generateHtmlDocStart(String) - Method in class com.articulate.sigma.DocGen: Returns a String of HTML markup for the start of a document, using title as the document title String.
generateHtmlFooter(String) - Method in class com.articulate.sigma.DocGen: Returns a String of HTML markup encoding the footer section of an HTML document, and using footerText as the text to be displayed at the bottom of the page.
generateHTMLPages(KB, TreeMap, String, String) - Method in class com.articulate.sigma.DocGen
generateNounSynsetID() - Method in class com.articulate.sigma.WordNet: Generate a new noun synset ID that doesn't have an existing hash
generateOMWOWLformat(KB) - Static method in class com.articulate.sigma.OMWordnet
generateRelationList() - Static method in class com.articulate.sigma.KButilities: Note this simply assumes that initial lower case terms are relations.
generateSingleHTML(KB, String, TreeMap, String, boolean) - Method in class com.articulate.sigma.DocGen: Generate a single HTML page showing all terms.
generateSingleHTML(KB, String, boolean) - Method in class com.articulate.sigma.DocGen
generateSUMOColumns(Hotel, ArrayList<String>) - Static method in class com.articulate.sigma.Hotel
generateSumoDateTerms(Utilities, List<Tokens>) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
generateSUMOHeader(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel: Collect all possible column names and assign them a number, then sort on that frequency.
generateSumoTerms(List<Tokens>, StanfordDateTimeExtractor) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateAndNumbersGeneration: * Categorizes the input into Date, Number, Duration and Time.
generateTocHeader(KB, TreeMap, String) - Method in class com.articulate.sigma.DocGen: Generate an alphabetic HTML list that points to the individual index pages (which collect all terms or term formats) starting with a particular letter.
generateTOCPage(KB, String, TreeMap, String) - Method in class com.articulate.sigma.DocGen: Generate an HTML page that lists term name and its documentation
generateTPTPTestAssertions() - Static method in class com.articulate.sigma.KButilities
generateVerbSynsetID() - Method in class com.articulate.sigma.WordNet: Generate a new noun synset ID that doesn't have an existing hash
genImmedParentList(KB, String) - Static method in class com.articulate.sigma.EditGUI: Get the just the immediate parent classes of a term
genInstList(KB, String) - Static method in class com.articulate.sigma.EditGUI: Collect a set of relations in which the type of given term is an argument instance type, and collect the set of possible argument fillers.
genInstPage(KB, String, String) - Static method in class com.articulate.sigma.EditGUI: Generate fields for an HTML form that allow a user to assert statements by using menus to set parameters that are arguments to relations.
genRelPage(KB, String) - Method in class com.articulate.sigma.EditGUI
geocode(String) - Static method in class com.articulate.sigma.DB: Call Google's geocode API to convert an address string into a lat/lon, which is returned as an ArrayList of two String elements containing a real-number format latitude and longitude.
geocodeCount - Static variable in class com.articulate.sigma.Hotel
geocodeLimit - Static variable in class com.articulate.sigma.Hotel
get1RequiredFormulas(Collection<String>) - Method in class com.articulate.sigma.SInE: Returns formulas that are directly required by given symbols (in the sense of requirements map).
get_arg(int, term_t, term_t) - Static method in class jpl.fli.Prolog
get_atom(term_t, atom_t) - Static method in class jpl.fli.Prolog
get_atom_chars(term_t, StringHolder) - Static method in class jpl.fli.Prolog
get_chars(term_t, StringHolder, int) - Static method in class jpl.fli.Prolog
get_float(term_t, DoubleHolder) - Static method in class jpl.fli.Prolog
get_functor(term_t, functor_t) - Static method in class jpl.fli.Prolog
get_head(term_t, term_t) - Static method in class jpl.fli.Prolog
get_integer(term_t, IntHolder) - Static method in class jpl.fli.Prolog
get_list(term_t, term_t, term_t) - Static method in class jpl.fli.Prolog
get_list_chars(term_t, StringHolder, int) - Static method in class jpl.fli.Prolog
get_long(term_t, LongHolder) - Static method in class jpl.fli.Prolog
get_module(term_t, module_t) - Static method in class jpl.fli.Prolog
get_name_arity(term_t, atom_t, IntHolder) - Static method in class jpl.fli.Prolog
get_nil(term_t) - Static method in class jpl.fli.Prolog
get_pointer(term_t, PointerHolder) - Static method in class jpl.fli.Prolog
get_string(term_t, StringHolder) - Static method in class jpl.fli.Prolog
get_tail(term_t, term_t) - Static method in class jpl.fli.Prolog
getAgent() - Method in class edu.dlsu.SUMOs.obj.Rule
getAllFilenamesInDir(String) - Static method in class com.articulate.sigma.semRewrite.QAOutputGenerator
getAllInstances(TreeSet<String>) - Method in class com.articulate.sigma.KB: This method retrieves all instances of the classes named in the input set.
getAllInstances(String) - Method in class com.articulate.sigma.KB: This method retrieves all instances of the class named in the input String.
getAllNamespaceDelimiters() - Method in class com.articulate.sigma.DocGen: Returns an ArrayList of namespace delimiter Strings gathered from all loaded KBs, obtained by collecting statements formed with the predicate docGenNamespaceDelimiter.
getAllNonRelTerms(KB, ArrayList<String>) - Static method in class com.articulate.sigma.HTMLformatter
getAllRelTerms(KB, ArrayList<String>) - Static method in class com.articulate.sigma.HTMLformatter
getAllRest() - Static method in class com.articulate.sigma.DB
getAllSuperClasses(Set<String>) - Method in class com.articulate.sigma.KB: This method retrieves the upward transitive closure of all Class names contained in the input set.
getAlphaAfter(String, int) - Method in class com.articulate.sigma.KB: Get the alphabetically num higher neighbor of this initial term, which must exist in the current KB otherwise an empty string is returned.
getAlphaBefore(String, int) - Method in class com.articulate.sigma.KB: Get the alphabetically num lower neighbor of this initial term, which must exist in the current KB otherwise an empty string is returned.
getAlphaList(KB) - Method in class com.articulate.sigma.DocGen
getAnnotations() - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedClause
getAnnotations() - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedFormula
getAnnotations() - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedThfFormula
getAnswer() - Method in class com.articulate.sigma.semRewrite.CommonCNFUtil.QAPair
getAnswerCNF() - Method in class com.articulate.sigma.semRewrite.CommonCNFUtil.QAPair
getArg(int, String) - Static method in class com.articulate.sigma.DependencyConverter
getArgType(String, int) - Method in class com.articulate.sigma.KB: Returns the type (SUO-KIF SetOrClass name) for any argument in argPos position of an assertion formed with the SUO-KIF Relation reln.
getArgTypeClass(String, int) - Method in class com.articulate.sigma.KB: Returns the type (SUO-KIF SetOrClass name) for any argument in argPos position of an assertion formed with the SUO-KIF Relation reln.
getArgument(int) - Method in class com.articulate.sigma.Formula: Return the numbered argument of the given formula.
getArgument() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Negation: Returns the formula under the negation.
getArgument() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfUnary: Returns the formula under the negation.
getArguments() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Atomic
getArguments() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm: Precondition: isFunction().
getArguments() - Method in class tptp_parser.SimpleTptpParserOutput.Term
getArguments() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfAtomic
getArticle(String, int, int, String) - Static method in class com.articulate.sigma.nlg.NLGUtils: Generate a linguistic article appropriate to how many times in a paraphrase a particular type has already occurred.
getAssociatedWord(Utilities, IndexedWord) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
getAtom() - Method in class tptp_parser.SimpleTptpParserOutput.Literal
getAttribute(String) - Method in class com.articulate.sigma.SimpleElement
getAttribute(String) - Method in class com.articulate.sigma.User
getAttributeCnt() - Method in class edu.dlsu.SUMOs.obj.Rule
getAttributeNames() - Method in class com.articulate.sigma.SimpleElement
getAttributes() - Method in class edu.dlsu.SUMOs.obj.Instance
getAttributes() - Method in class tptp_parser.SimpleTptpParserOutput.InfoItem.InferenceRule
getBackground() - Method in class edu.dlsu.SUMOs.obj.Input
getBareSUMOTerm(String) - Static method in class com.articulate.sigma.WordNetUtilities: Get a SUMO term minus its &% prefix and one character mapping suffix.
getBestDefaultSense(String) - Static method in class com.articulate.sigma.WSD: Get the POS-prefixed synset that represents the best guess at meaning for a word.
getBestDefaultSense(String, int) - Static method in class com.articulate.sigma.WSD: Get the POS-prefixed synset that represents the best guess at meaning for a word with a given part of speech.
getBestDefaultSUMO(String) - Static method in class com.articulate.sigma.WSD: Get the SUMO term that represents the best guess at meaning for a word.
getBestDefaultSUMOsense(String, int) - Static method in class com.articulate.sigma.WSD: Get the SUMO term that represents the best guess at meaning for a word.
getBinding(String, ArrayList<Binding>) - Static method in class TPTPWorld.Binding
getCaseRole(Collection<String>) - Static method in enum com.articulate.sigma.nlg.CaseRole: From the input list, return the first string that is a valid case role.
getCaseRolesForGrammarPosition(String, SVOElement.SVOGrammarPosition) - Static method in class com.articulate.sigma.nlg.SVOGrammar: Return the case roles most appropriate for a given grammar role and a verb.
getCaseRolesForGrammarRole(String, SVOElement.SVOGrammarPosition) - Method in interface com.articulate.sigma.nlg.VerbProperties: Return a list of case roles for the given verb and the given grammar role.
getCaseRolesForGrammarRole(String, SVOElement.SVOGrammarPosition) - Method in class com.articulate.sigma.nlg.VerbPropertiesSimpleImpl: Return a list of case roles for the given verb and the given grammar role.
getCharacter(int) - Method in class edu.dlsu.SUMOs.obj.Input
getCharacters() - Method in class edu.dlsu.SUMOs.obj.Input
getCharBegin() - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens
getCharEnd() - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens
getCharset() - Static method in class com.articulate.sigma.StringUtil: Returns a String denoting a character encoding scheme.
getChildByFirstTag(String) - Method in class com.articulate.sigma.SimpleElement
getChildCharacters() - Method in class edu.dlsu.SUMOs.obj.Input
getChildClasses(String) - Method in class com.articulate.sigma.KBcache: return child classes for the given cl from subclass expressions.
getChildElements() - Method in class com.articulate.sigma.SimpleElement
getClause() - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedClause
getClauses() - Method in class com.articulate.sigma.Formula: Returns a List of List objects.
getClientOntologyNames() - Static method in class com.articulate.sigma.DocGen: Returns a List of the names of all client ontologies currently represented in any loaded KB.
getClosestXmlDataType(KB, String) - Method in class com.articulate.sigma.DocGen
getCnfFormula() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm: Precondition: isCnfFormula().
getCNFInput(String) - Method in class com.articulate.sigma.semRewrite.Interpreter: Method (mainly for testing) to get list of CNFs from input sentence.
getCodedIdentifiers(KB) - Method in class com.articulate.sigma.DocGen: Collects and returns the Set containing all known coded identifiers in kb, including ISO code values stated to be such.
getColumnNames(String, String) - Method in class com.articulate.delphi.Delphi
getCompiledPattern(String) - Static method in class com.articulate.sigma.KB: This method returns a compiled regular expression Pattern object indexed by key.
getConnective() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Binary
getConnective() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfBinary
getConnective() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfUnary: Returns the unary connective.
getConsumedCaseRoles() - Method in class com.articulate.sigma.nlg.SVOElement
getContainingComposites(KB, String) - Method in class com.articulate.sigma.DocGen: Travels up the HasXmlElement and HasXmlAttribute relation hierarchies to collect all parents, and returns them in an ArrayList.
getContents(File) - Static method in class com.articulate.sigma.StringUtil: Fetch the entire contents of a text file, and return it in a String.
getContents(File) - Static method in class edu.dlsu.SUMOs.util.ReadWriteTextFile: Fetch the entire contents of a text file, and return it in a String.
getContextualDocumentation(KB, String, List) - Method in class com.articulate.sigma.DocGen: Returns the first documentation String obtained for term in kb, using the List of namespaces or other contextualizing terms in contexts.
getControlBitValue(String) - Static method in class com.articulate.sigma.DocGen
getControlTokens() - Static method in class com.articulate.sigma.DocGen
getCountAxioms() - Method in class com.articulate.sigma.KB: Count the number of formulas in the knowledge base in order to present statistics to the user.
getCountRelations() - Method in class com.articulate.sigma.KB: Count the number of relations in the knowledge base in order to present statistics to the user.
getCountRules() - Method in class com.articulate.sigma.KB: Count the number of rules in the knowledge base in order to present statistics to the user.
getCountTerms() - Method in class com.articulate.sigma.KB: Count the number of terms in the knowledge base in order to present statistics to the user.
getCreatorName() - Method in class tptp_parser.SimpleTptpParserOutput.Source.Creator
getCurrProcessMap() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Return the Map for the top element of the stack.
getCurrStackElement() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Return the topmost stack element
getCurrStackFormulaArgs() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: For the current stack element, iterate through the List and collect their translations into a single list.
getDatatypeTerms(KB, String, int) - Method in class com.articulate.sigma.DocGen
getDateTime(String) - Static method in class com.articulate.sigma.StringUtil: Returns a date/time string corresponding to pattern.
getDay() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
getDefaultImageFile() - Method in class com.articulate.sigma.DocGen: Returns the base filename plus filename suffix form of the logo image file to be referenced during HTML document generation, else returns an empty String if no value has been set.
getDefaultImageFileMarkup() - Method in class com.articulate.sigma.DocGen: Returns the base filename plus filename suffix form of the logo image file, wrapped in any additional markup required for the intended rendering of the image.
getDefaultNamespace() - Method in class com.articulate.sigma.DocGen: Returns the String denoting the default namespace associated with this DocGen object.
getDefaultPredicateNamespace() - Method in class com.articulate.sigma.DocGen: Returns the String denoting the default namespace for predicates in the ontology associated with this DocGen object.
getDependencies(String) - Static method in class com.articulate.sigma.DependencyConverter: Get the output of the Stanford Dependency Parser for the given input file.
getDependencies() - Method in class com.articulate.sigma.semRewrite.datesandnumber.StanfordDateTimeExtractor
getDependencyList() - Method in class com.articulate.sigma.semRewrite.datesandnumber.StanfordDateTimeExtractor
getDescription() - Method in class tptp_parser.SimpleTptpParserOutput.InfoItem.Description
getDirectObject() - Method in class com.articulate.sigma.nlg.Sentence
getDisplayFilter() - Method in class com.articulate.sigma.DocGen: Returns the DisplayFilter object associated with this DocGen object, or null if no DisplayFilter has been set.
getDistinctObject() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm: Precondition: isDistinctObject().
getDocGen() - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
getDocGenControlBits() - Method in class com.articulate.sigma.DocGen: Returns the int value that represents the bit values used to guide aspects of the document generation process for this DocGen instance.
getDocGenKey() - Method in class com.articulate.sigma.DocGen: Returns the String key that is the index for this particular DocGen object.
getDocumentation(String) - Method in class com.articulate.sigma.WordNet
getDualOperator(String) - Static method in class com.articulate.sigma.Formula: Returns the dual logical operator of op, or null if op is not an operator or has no dual.
getElement(String) - Method in class com.articulate.sigma.Hotel.JSONElement
getElementValue(String) - Method in class com.articulate.sigma.Hotel.JSONElement
getEndIndex() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
getEntityProperties() - Method in class com.articulate.sigma.nlg.StackElement: Getter and setter for translated field.
getEntityTypes(String) - Method in class com.articulate.sigma.semRewrite.EntityTypeParser
getError() - Method in class com.articulate.sigma.KBmanager: Get the error string for file loading.
getErrors() - Method in class com.articulate.sigma.Formula
getExperiencer() - Method in class edu.dlsu.SUMOs.obj.Rule
getFactory() - Static method in class com.articulate.sigma.SInE
getFactory() - Static method in class com.articulate.sigma.Vampire
getFile() - Method in class com.articulate.sigma.semRewrite.CommonCNFUtil.QAPair
getFileInfo() - Method in class tptp_parser.SimpleTptpParserOutput.Source.File
getFileName() - Method in class tptp_parser.SimpleTptpParserOutput.IncludeDirective
getFileName() - Method in class tptp_parser.SimpleTptpParserOutput.Source.File
getFileSource() - Method in class tptp_parser.SimpleTptpParserOutput.InfoItem.Refutation
getFinalBinding() - Method in class TPTPWorld.Binding
getFirstContainingClass(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a SUO-KIF constant that denotes the first containing Class of term obtained in kb.
getFirstDatatype(KB, String) - Method in class com.articulate.sigma.DocGen
getFirstGeneralTerm(KB, String) - Method in class com.articulate.sigma.DocGen: Returns the first containing, subsuming, or superordinate entity that can be found for term in kb.
getFirstGeneralTerms(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List of the first containing, subsuming, or superordinate entities found for term in kb.
getFirstHtmlFormatToken(KB, String) - Static method in class com.articulate.sigma.DocGen: Returns the first String token retrieved from ontology in kb that denotes an HTML output format.
getFirstInstances(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List of the entities that are immediate instances of term in kb.
getFirstSpecificTerms(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List of the first instances or syntactic subordinate entities that can be found for term in kb.
getFirstSubClasses(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List containing the immediate SUO-KIF subclasses of term in kb.
getFirstSubsumingTerm(KB, String) - Method in class com.articulate.sigma.DocGen: Returns the first purely "subsuming" entity that can be found for term in kb, assuming that term denotes a Class or a Relation.
getFirstTermFormat(KB, String, List) - Method in class com.articulate.sigma.DocGen: Returns a String that is the first termFormat value obtained for term in kb, else returns null if no termFormat value exists.
getFirstTermViaAskWithRestriction(int, String, int, String, int) - Method in class com.articulate.sigma.KB: Returns the first term found that corresponds to targetArgnum in the Formulas obtained from the method call askWithRestriction(argnum1, term1, argnum2, term2).
getFirstTermViaAWTR(int, String, int, String, int, String, int) - Method in class com.articulate.sigma.KB: Returns the first SUO-KIF terms that matches the request, or null.
getFirstTermViaPredicateSubsumption(String, int, String, int, boolean) - Method in class com.articulate.sigma.KB: Returns the first SUO-KIF constant found via asks using relation and its subrelations.
getFofFormula() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm: Precondition: isFofFormula().
getFoodWordSenses(ArrayList<String>) - Static method in class com.articulate.sigma.DB
getFooterText() - Method in class com.articulate.sigma.DocGen: Returns the String that will be used as the footer text for HTML document generation, else returns an empty String if no footer text value has been set.
getFormatMap(String) - Method in class com.articulate.sigma.KB: This method creates an association list (Map) of the natural language format string and the relation name for which that format string applies.
getFormula() - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedFormula
getFormula() - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedThfFormula
getFormulaArg(List<StackElement.FormulaArg>, String) - Static method in class com.articulate.sigma.nlg.LanguageFormatterStack: Read the given list of FormulaArgs for a given argument.
getFormulaByKey(String) - Method in class com.articulate.sigma.KB: An accessor providing a Formula
getFormulas() - Method in class com.articulate.sigma.KB: An accessor providing a TreeSet of un-preProcessed String representations of Formulae.
getFormulaSelection() - Method in class tptp_parser.SimpleTptpParserOutput.IncludeDirective
getFullNamedEntities(CoreMap) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil
getFunction() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm: Precondition: isFunction().
getGeneralFunction() - Method in class tptp_parser.SimpleTptpParserOutput.InfoItem.GeneralFunction
getGrouped(CoreLabel) - Method in interface com.articulate.sigma.semRewrite.substitutor.ClauseSubstitutor: Searches for referenced group by any label included into the key
getGrouped(String) - Method in interface com.articulate.sigma.semRewrite.substitutor.ClauseSubstitutor: Searches for referenced group by any label included into the key E.g.
getGrouped(CoreLabel) - Method in class com.articulate.sigma.semRewrite.substitutor.SimpleSubstitutorStorage
getGrouped(String) - Method in class com.articulate.sigma.semRewrite.substitutor.SimpleSubstitutorStorage
getGrouped(CoreLabel) - Method in class com.articulate.sigma.semRewrite.substitutor.SubstitutorsUnion
getGrouped(String) - Method in class com.articulate.sigma.semRewrite.substitutor.SubstitutorsUnion
getGroupedByFirstLabel(CoreLabel) - Method in interface com.articulate.sigma.semRewrite.substitutor.ClauseSubstitutor: Searches for referenced group by only first label in the key
getGroupedByFirstLabel(CoreLabel) - Method in class com.articulate.sigma.semRewrite.substitutor.SimpleSubstitutorStorage
getGroupedByFirstLabel(CoreLabel) - Method in class com.articulate.sigma.semRewrite.substitutor.SubstitutorsUnion
getHour() - Method in class com.articulate.sigma.semRewrite.datesandnumber.TimeInfo
getId() - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens
getIinferenceRule() - Method in class tptp_parser.SimpleTptpParserOutput.InfoItem.InferenceRule
getIndex() - Method in class com.articulate.sigma.semRewrite.CommonCNFUtil.QAPair
getIndirectObjects() - Method in class com.articulate.sigma.nlg.Sentence
getInferenceBitValue() - Method in class com.articulate.sigma.KBmanager: Returns an int value, the bitwise interpretation of which indicates the current configuration of inference parameter (preference) settings.
getInferenceId() - Method in class tptp_parser.SimpleTptpParserOutput.InfoItem.InferenceRule
getInferenceRule() - Method in class tptp_parser.SimpleTptpParserOutput.Source.Inference
getInferenceType(String) - Method in class com.articulate.sigma.TPTP3ProofProcessor
getInhibitDisplayRelations() - Method in class com.articulate.sigma.DocGen: Returns a Set containing the names of those predicates for which diplay should be suppressed, and tries to create the Set from docGenInhibitDisplayRelations statements found in the current KB if the Set does not already exist.
getInstance() - Static method in class com.articulate.delphi.Delphi
getInstance() - Static method in class com.articulate.delphi.PasswordService
getInstance() - Static method in class com.articulate.sigma.DocGen
getInstance(String) - Static method in class com.articulate.sigma.DocGen
getInstance(KB, String) - Static method in class com.articulate.sigma.DocGen
getInstance() - Static method in class com.articulate.sigma.PasswordService
getInstance() - Method in class edu.dlsu.SUMOs.obj.Rule
getInstancesForType(String) - Method in class com.articulate.sigma.KBcache: Get all instances for the given input class For example, given the class "Nation", getInstancesForType(Nation) returns all instances, like "America", "Austria", "Albania", etc.
getIntroInfo() - Method in class tptp_parser.SimpleTptpParserOutput.Source.Internal
getIntroType() - Method in class tptp_parser.SimpleTptpParserOutput.Source.Internal
getIQuoteText() - Method in class tptp_parser.SimpleTptpParserOutput.InfoItem.IQuote
getIsComputed() - Method in class com.articulate.sigma.Formula: Should return false if this Formula occurs in and was loaded from sourceFile.
getJaroWinklerDistance(String, String) - Static method in class com.articulate.sigma.Mapping: Jaro-Winkler Mapping Method implemented by Gerard de Melo
getKB() - Method in class com.articulate.sigma.DocGen
getKB() - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
getKB(String) - Method in class com.articulate.sigma.KBmanager: Get the KB that has the given name.
getKBName() - Method in class com.articulate.sigma.CCheck
getKBnames() - Method in class com.articulate.sigma.KBmanager: Get the Set of KB names in this manager.
getKeywordMap() - Static method in class com.articulate.sigma.nlg.NLGUtils: Return a defensive copy of the keyword map.
getKifNamespaceDelimiter() - Static method in class com.articulate.sigma.DocGen
getKifNamespaceDelimiter() - Static method in class com.articulate.sigma.StringUtil: Returns the string used in SUO-KIF to separate a namespace prefix from the term it qualifies.
getKind() - Method in class tptp_parser.SimpleTptpParserOutput.Formula
getKind() - Method in class tptp_parser.SimpleTptpParserOutput.InfoItem
getKind() - Method in class tptp_parser.SimpleTptpParserOutput.Source
getKind() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula
getKind() - Method in class tptp_parser.SimpleTptpParserOutput.TopLevelItem
getLabels() - Method in class com.articulate.sigma.semRewrite.substitutor.CoreLabelSequence
getLastSentence(Annotation) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil
getLeftColonOperand() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm: Precondition: isColon().
getLemma() - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens
getLemmaVine(TPTPFormula) - Static method in class TPTPWorld.ProofSummary
getLevenshteinDistance(String, String) - Static method in class com.articulate.sigma.Mapping: LevenshteinDistance(char s[1..m], char t[1..n]) courtesy of Wikipedia http://en.wikipedia.org/wiki/Levenshtein_distance int LevenshteinDistance(char s[1..m], char t[1..n])
getLhs() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Binary
getLhs() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfBinary
getLineNumber() - Method in class tptp_parser.SimpleTptpParserOutput.TopLevelItem
getLineSeparator() - Method in class com.articulate.sigma.DocGen
getLineSeparator() - Method in class com.articulate.sigma.Formula: Returns the platform-specific line separator String
getLineSeparator() - Static method in class com.articulate.sigma.StringUtil: Returns the default line separator token for the current runtime platform.
getListElements() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm: Precondition: isList().
getListOfSources() - Method in class tptp_parser.SimpleTptpParserOutput.Source.ListOfSources
getLiterals() - Method in class tptp_parser.SimpleTptpParserOutput.Clause
getLoadFormatMapsAttempted() - Method in class com.articulate.sigma.KB
getLocalReferenceBaseName() - Static method in class com.articulate.sigma.StringUtil
getManner() - Method in class edu.dlsu.SUMOs.obj.Rule
getMatches(String, String, ArrayList<String>) - Static method in class com.articulate.sigma.KB: This method finds regular expression matches in an input string using a compiled Pattern and binding group index retrieved with patternKey.
getMatches(String, String) - Static method in class com.articulate.sigma.KB: This method finds regular expression matches in an input string using a compiled Pattern and binding group index retrieved with patternKey, and returns the results, if any, in an ArrayList.
getMatrix() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Quantified
getMatrix() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfQuantified
getMeasureTerms(Utilities) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateAndNumbersGeneration: * Returns the measure terms added in the sumo list
getMgr() - Static method in class com.articulate.sigma.KBmanager: Get the one instance of KBmanager from its class variable.
getMinute() - Method in class com.articulate.sigma.semRewrite.datesandnumber.TimeInfo
getMonth() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
getMostRelevantType(KB, HashSet<String>) - Method in class com.articulate.sigma.FormulaPreprocessor: Get the most specific type for variables.
getMultiWords() - Method in class com.articulate.sigma.WordNet
getName() - Method in class edu.dlsu.SUMOs.obj.Instance
getName() - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedClause
getName() - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedFormula
getName() - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedThfFormula
getName(SimpleTptpParserOutput.TopLevelItem) - Static method in class TPTPWorld.TPTPParser
getNameList() - Method in class tptp_parser.SimpleTptpParserOutput.InfoItem.AssumptionRecord
getNamespaceDelimiters(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List of all Strings used as namespace delimiters in terms defined or referred to in ontology, as specified by statements formed with the SUO-KIF predicate docGenNamespaceDelimiter.
getNamespacePrefix(KB, String) - Method in class com.articulate.sigma.DocGen: Returns the namespace prefix of term based on the namespaces known in kb, else returns the empty String if term appears to have no namespace prefix.
getNamespacePrefixes() - Method in class com.articulate.sigma.DocGen: Returns an ArrayList of all known namespace prefixes sorted by length, from longest to shortest.
getNamespaces() - Method in class com.articulate.sigma.DocGen: Returns a List of all SUO-KIF terms that denote namespaces in any loaded KB, obtained by gathering statements formed with the predicates inNamespace and ontologyNamespace as well as explicit instance statements.
getNamespaces(KB, String, boolean) - Method in class com.articulate.sigma.DocGen: Returns a List of all SUO-KIF terms denoting namespaces in kb or in ontology, using the predicates inNamespace and ontologyNamespace.
getNearestContainingClass(KB, String) - Method in class com.articulate.sigma.DocGen: Returns the first containing Class that can be found for term in kb.
getNearestNonRelations(String) - Method in class com.articulate.sigma.KB: Get the neighbors of this initial lowercase term (relation).
getNearestRelations(String) - Method in class com.articulate.sigma.KB: Get the neighbors of this initial uppercase term (class or function).
getNer() - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens
getNewInstance(String) - Static method in class com.articulate.sigma.SInE
getNewInstance(String) - Static method in class com.articulate.sigma.Vampire: This static factory method returns a new Vampire instance.
getNewInstanceWithFormulas(Iterable) - Static method in class com.articulate.sigma.Vampire
getNormalizedNer() - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens
getNumber(int) - Static method in enum com.articulate.sigma.nlg.SVOElement.NUMBER: Given a count, return singular or plural.
getNumberOfArguments() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Atomic
getNumberOfArguments() - Method in class tptp_parser.SimpleTptpParserOutput.Term
getNumberOfArguments() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfAtomic
getObject(int) - Method in class edu.dlsu.SUMOs.obj.Input
getObjects() - Method in class edu.dlsu.SUMOs.obj.Input
getOldInferenceBitValue() - Method in class com.articulate.sigma.KBmanager: Returns the last cached inference bit value setting.
getOntology() - Method in class com.articulate.sigma.DocGen: Returns a term denoting the default Ontology for this DocGen object if an Ontology has been set, and tries very hard to find a relevant Ontology if one has not been set.
getOntology(KB) - Method in class com.articulate.sigma.DocGen: Returns a term denoting the default Ontology for this DocGen object if an Ontology has been set, and tries very hard to find a relevant Ontology if one has not been set.
getOntologyNamespaces(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List of all SUO-KIF terms denoting those namespaces containing terms that are defined in, or occur in, statements in ontology.
GetOpt - Class in com.articulate.sigma.nlp: Created by apease on 4/22/15.
GetOpt(String[], String) - Constructor for class com.articulate.sigma.nlp.GetOpt
getopt() - Method in class com.articulate.sigma.nlp.GetOpt
getOrig() - Method in class edu.dlsu.SUMOs.obj.Rule
getOriginalVar(String, Map<String, String>) - Static method in class com.articulate.sigma.Clausifier: This method finds the original variable that corresponds to a new variable.
getOutputDirectoryPath() - Method in class com.articulate.sigma.DocGen: Returns the canonical pathname String of the current directory in which output files will be (are being) saved.
getOutputFormatTokens(KB, String) - Static method in class com.articulate.sigma.DocGen: Returns a List of String tokens that determine how the output should be formatted.
getOutputParentDir() - Method in class com.articulate.sigma.DocGen: Returns a File object representing the directory in which the subdirectories for the various types of output files will be located.
getParentClasses(String) - Method in class com.articulate.sigma.KBcache: return parent classes for the given cl from subclass expressions.
getParentClassesOfInstance(String) - Method in class com.articulate.sigma.KBcache: return classes for the given instance cl.
getParentDetails() - Method in class tptp_parser.SimpleTptpParserOutput.ParentInfo
getParentInfoList() - Method in class tptp_parser.SimpleTptpParserOutput.Source.Inference
getParseMode() - Method in class com.articulate.sigma.KIF: public String getFilename() { return this.filename; } /** *************************************************************** public void setFilename(String canonicalPath) { this.filename = canonicalPath; return; } /** ***************************************************************
getPassword() - Method in class com.articulate.sigma.User
getPatient() - Method in class edu.dlsu.SUMOs.obj.Rule
getPatternGroupIndex(String) - Static method in class com.articulate.sigma.KB: This method returns the int value that identifies the regular expression binding group to be returned when there is a match.
getPermutations(int, BiPredicate<Integer, Integer>) - Static method in class com.articulate.sigma.FormulaUtil: Generates all permutations of the given size which are valid according to the given callback function.
getPolarity() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Getter and setter for polarity field.
getPolarity() - Method in class com.articulate.sigma.nlg.SumoProcessCollector: Getter and setter for polarity field.
getPos() - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens
getPOSfromKey(String) - Static method in class com.articulate.sigma.WordNetUtilities: Extract the POS from a word_POS_num sense key.
getPredicate() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Atomic
getPredicate() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfAtomic
getPredicates(KB, boolean) - Method in class com.articulate.sigma.DocGen: Collects and returns a List of all Predicates in kb.
getPref(String) - Method in class com.articulate.sigma.KBmanager: Get the preference corresponding to the given kef.
getPrepositionForCaseRole(String, CaseRole) - Static method in class com.articulate.sigma.nlg.Preposition
getPrepositionForCaseRole(String, CaseRole) - Method in interface com.articulate.sigma.nlg.VerbProperties: Return a list of prepositions for the given verb and the given case role.
getPrepositionForCaseRole(String, CaseRole) - Method in class com.articulate.sigma.nlg.VerbPropertiesSimpleImpl: Return a list of prepositions for the given verb and the given case role.
getPrevStackElement() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Return the stack element that is second from the top
getProjects() - Method in class com.articulate.sigma.User
getProperFormOfEntity(String, KB) - Static method in class com.articulate.sigma.nlg.SumoProcessCollector: Retain capitalization of names and reified instances by lower-casing if the entity is an Entity.
getQuantifier() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Quantified
getQuantifier() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfQuantified
getQuery() - Method in class com.articulate.sigma.semRewrite.CommonCNFUtil.QAPair
getQueryCNF() - Method in class com.articulate.sigma.semRewrite.CommonCNFUtil.QAPair
getRangeValueList(KB, String) - Static method in class com.articulate.sigma.DocGen: Returns an ArrayList of Strings extracted from the range argument (arg2) of the first retrieved statement formed with predicate.
getRecordFromStringSet(String[], Interpreter) - Static method in class com.articulate.sigma.semRewrite.QAOutputGenerator: Generate output from an array of strings
getRelationsByKB() - Method in class com.articulate.sigma.DocGen
getREMatch(String) - Method in class com.articulate.sigma.KB: Takes a term (interpreted as a Regular Expression) and returns an ArrayList containing every term in the KB that has a match with the RE.
getRequiredFormulas(Collection<String>) - Method in class com.articulate.sigma.SInE: Returns formulas that are transitively required by given symbols (in the sense of requirements map).
getRequiredSymbols(Collection<String>) - Method in class com.articulate.sigma.SInE: Returns all symbols transitively required by given symbols (in the sense of requirements map).
getRhs() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Binary
getRhs() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfBinary
getRightColonOperand() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm: Precondition: isColon().
getRole() - Method in class com.articulate.delphi.User
getRole() - Method in class com.articulate.sigma.User
getRole() - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedClause
getRole() - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedFormula
getRole() - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedThfFormula
getRole() - Method in class TPTPWorld.TPTPFormula
getRolesAndEntities() - Method in class com.articulate.sigma.nlg.SumoProcessCollector: Get all the roles and their entities for this event.
getRowVarMaxAritiesWithOtherArgs(HashMap<String, HashSet<String>>, KB, Formula) - Static method in class com.articulate.sigma.RowVars: given in @param ar which is a list for each variable of all the predicates in which it appears as an argument, find the maximum arity allowed by predicate arities, as given by
getRule() - Method in class edu.dlsu.SUMOs.obj.Rule
getSafeNamespaceDelimiter() - Static method in class com.articulate.sigma.DocGen
getSafeNamespaceDelimiter() - Static method in class com.articulate.sigma.StringUtil: Returns a "safe" alphanumeric ASCII string that can be substituted for the W3C or SUO-KIF string delimiting a namespace prefix from an unqualified term name.
getSecond() - Method in class com.articulate.sigma.semRewrite.datesandnumber.TimeInfo
getSenseFromKey(String) - Static method in class com.articulate.sigma.WordNetUtilities: Extract the synset corresponding to a word_POS_num sense key.
getSensesFromWord(String) - Method in class com.articulate.sigma.WordNet: Get all the synsets for a given word.
getSimplified() - Method in class com.articulate.sigma.DocGen: Returns true if a termFormat value obtained for term will be displayed during HTML rendering rather than the term name itself.
getSingularPlural() - Method in class com.articulate.sigma.nlg.SVOElement
getSource() - Method in class tptp_parser.SimpleTptpParserOutput.Annotations
getSource() - Method in class tptp_parser.SimpleTptpParserOutput.ParentInfo
getSourceFile() - Method in class com.articulate.sigma.Formula
getStatusValue() - Method in class tptp_parser.SimpleTptpParserOutput.InfoItem.InferenceStatus
getStringReplacement(String) - Method in class com.articulate.sigma.DocGen: Returns the String replacement for fromString, if one can be located, else just returns fromString.
getStringReplacementMap() - Method in class com.articulate.sigma.DocGen: Returns the Map to be used for HTML character entity to ASCII replacements, attempting to build it from docGenCodeMapTranslation statements found in the KB if the Map does not already exist.
getStyleSheet() - Method in class com.articulate.sigma.DocGen: Returns the base filename plus filename suffix form of the Cascading Style Sheet file to be referenced during HTML document generation, else returns an empty String if no value has been set.
getSubComponents(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List containing those terms that are immediate syntactic subordinates of term in kb.
getSubject() - Method in class com.articulate.sigma.nlg.Sentence
getSubordinateAttributes(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List containing the subordinate XmlAttributes of kifTerm, else return an empty List.
getSubordinateElements(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List containing the subordinate XmlElements of kifTerm, else return an empty List.
getSubstringDistance(String, String) - Static method in class com.articulate.sigma.Mapping: Substring Mapping Method: returns 1 if the two strings are identical, scores >1 if one string is a substring of the other, and Integer.MAX_VALUE if there is no substring match This approach is based on: John Li, "LOM: A Lexicon-based Ontology Mapping Tool", Proceedings of the Performance Metrics for Intelligent Systems (PerMIS.'04), 2004.
getSubsumingFreq() - Static method in class com.articulate.sigma.nlp.WNsim
getSumoClass() - Method in enum com.articulate.sigma.semRewrite.EntityType
getSUMOMapping(String) - Method in class com.articulate.sigma.WordNet: Get the SUMO mapping for a POS-prefixed synset
getSUMOMappingSuffix(String) - Static method in class com.articulate.sigma.WordNetUtilities: Get a SUMO term mapping suffix.
getSumoProcess() - Method in class com.articulate.sigma.nlg.SumoProcessCollector
getSumoProcessMap() - Method in class com.articulate.sigma.nlg.StackElement
getSUMOterm(String, int) - Method in class com.articulate.sigma.WordNet: Get the SUMO term for the given root form word and part of speech.
getSumoTerms(String) - Static method in class com.articulate.sigma.semRewrite.datesandnumber.InterpretNumerics: Returns a list of SU-KIF statements, each corresponding to a date/time/measure found in the input natural language string.
getSuperComponents(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List containing those terms that are immediate syntactic superiors or "containers" of term in kb.
getSurfaceForm() - Method in class com.articulate.sigma.nlg.SumoProcess
getSurfaceForm() - Method in class com.articulate.sigma.nlg.SVOElement
getSurfaceFormForNoun(String, KB) - Method in class com.articulate.sigma.nlg.SumoProcessEntityProperty: For a given property, combine it with the given noun into a natural-sounding expression.
getSymbolList(BufferedReader) - Static method in class TPTPWorld.TPTPParser
getSymbolList(String) - Static method in class TPTPWorld.TPTPParser
getSymbolList(ArrayList<Binding>) - Static method in class TPTPWorld.TPTPParser
getSymbols(String) - Method in class com.articulate.sigma.SInE: Returns all symbols occurring in given formula.
getSymbols(Collection<String>) - Method in class com.articulate.sigma.SInE
getSyntacticCompositeTerms(KB, String, int) - Method in class com.articulate.sigma.DocGen
getSyntacticExtensionTerms(KB, String, int, boolean) - Method in class com.articulate.sigma.DocGen
getSyntacticSubordinateTerms(KB, String) - Method in class com.articulate.sigma.DocGen: Returns a List of the entities that are immediate syntactic subordinates of term in kb.
getSyntacticUnionTerms(KB, String, int) - Method in class com.articulate.sigma.DocGen
getSystemDir() - Static method in class TPTPWorld.SystemOnTPTP
getSystemInfo() - Static method in class TPTPWorld.SystemOnTPTP
getSZSAnswers(String) - Static method in class TPTPWorld.SystemOnTPTP
getSZSBindings(String, String) - Static method in class TPTPWorld.SystemOnTPTP
getSZSBindings(String, ArrayList<Binding>) - Static method in class TPTPWorld.SystemOnTPTP
getSZSBindings(SimpleTptpParserOutput.TopLevelItem, String) - Static method in class TPTPWorld.SystemOnTPTP
getSZSBindings(SimpleTptpParserOutput.TopLevelItem, ArrayList<Binding>) - Static method in class TPTPWorld.SystemOnTPTP
getTagName() - Method in class com.articulate.sigma.SimpleElement
getTerm() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm: Precondition: isTerm().
getTermFormat(KB, String) - Static method in class com.articulate.sigma.Mapping: Get the termFormat label for a term.
getTermFormatMap(String) - Method in class com.articulate.sigma.KB: This method creates a dictionary (Map) of SUO-KIF term symbols -- the keys -- and a natural language string for each key that is the preferred name for the term -- the values -- in the context denoted by lang.
getTermNamespace(KB, String) - Method in class com.articulate.sigma.DocGen
getTermPresentationName(KB, String) - Method in class com.articulate.sigma.DocGen
getTermPresentationName(KB, String, String) - Method in class com.articulate.sigma.DocGen
getTermPresentationName(KB, String, String, boolean) - Method in class com.articulate.sigma.DocGen
getTerms() - Method in class com.articulate.sigma.KB: Returns a SortedSet of Strings, which are all the terms in the KB.
getTermsViaAsk(int, String, int) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing the terms (Strings) that correspond to targetArgnum in the ground atomic Formulae in which knownArg is in the argument position knownArgnum.
getTermsViaAskWithRestriction(int, String, int, String, int, Set<String>) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing the terms (Strings) that correspond to targetArgnum in the Formulas obtained from the method call askWithRestriction(argnum1, term1, argnum2, term2).
getTermsViaAskWithRestriction(int, String, int, String, int) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing the terms (Strings) that correspond to targetArgnum in the Formulas obtained from the method call askWithRestriction(argnum1, term1, argnum2, term2).
getTermsViaAWTR(int, String, int, String, int, String, int) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing the SUO-KIF terms that match the request.
getTermsViaPredicateSubsumption(String, int, String, int, boolean, Set) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing SUO-KIF constants, possibly retrieved via multiple asks that recursively use relation and all of its subrelations.
getTermsViaPredicateSubsumption(String, int, String, int, boolean) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing SUO-KIF constants, possibly retrieved via multiple asks that recursively use relation and all of its subrelations.
getText() - Method in class com.articulate.sigma.SimpleElement
getText() - Method in class tptp_parser.SimpleTptpParserOutput.Source.Name
getText() - Method in class tptp_parser.SimpleTptpParserOutput.Symbol
getTheClausalForm() - Method in class com.articulate.sigma.Formula: Returns a List of the clauses that together constitute the resolution form of this Formula.
getTheme() - Method in class edu.dlsu.SUMOs.obj.Input
getTheoryName() - Method in class tptp_parser.SimpleTptpParserOutput.Source.Theory
getTheTptpFormulas() - Method in class com.articulate.sigma.Formula: Returns an ArrayList of the TPTP formulas (Strings) that together constitute the TPTP translation of theFormula.
getThfFormula() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm: Precondition: isThfFormula().
getTimeCount() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
getTitleText() - Method in class com.articulate.sigma.DocGen: Returns the String that will be used as the title text for HTML document generation, else returns an empty String if no title text value has been set.
getTocHeader() - Method in class com.articulate.sigma.DocGen: Returns the String header to be used in generated HTML files.
getTokenCount() - Method in class com.articulate.sigma.semRewrite.datesandnumber.StanfordDateTimeExtractor
getTokenType() - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens
getTopSymbol() - Method in class tptp_parser.SimpleTptpParserOutput.Term
getTPTPFormulaSize(String) - Static method in class TPTPWorld.SystemOnTPTP
getTransitiveClosureViaPredicateSubsumption(String, int, String, int, boolean) - Method in class com.articulate.sigma.KB: Returns an ArrayList containing the transitive closure of relation starting from idxTerm in position idxArgnum.
getTranslated() - Method in class com.articulate.sigma.nlg.StackElement: Getter and setter for translated field.
getTranslation() - Method in class com.articulate.sigma.nlg.StackElement
getType(SimpleTptpParserOutput.TopLevelItem) - Static method in class TPTPWorld.TPTPParser
getUniqueAxioms() - Static method in class TPTPWorld.LooksDifferent
getUniqueSymbols(TreeSet, TreeSet) - Static method in class TPTPWorld.LooksDifferent
getUsefulInfo() - Method in class tptp_parser.SimpleTptpParserOutput.Source.Creator
getUsefulInfo() - Method in class tptp_parser.SimpleTptpParserOutput.Source.Inference: May return null.
getUsefulInfo() - Method in class tptp_parser.SimpleTptpParserOutput.Source.Theory
getUser(String) - Method in class com.articulate.delphi.PasswordService
getUser(String) - Method in class com.articulate.sigma.PasswordService
getUserFromNamePassword64(String) - Method in class com.articulate.sigma.PasswordService
getUserInputs() - Method in class com.articulate.sigma.semRewrite.Interpreter
getUsername() - Method in class com.articulate.sigma.User
getUsersFileDirectory() - Method in class com.articulate.sigma.PasswordService
getValence(String) - Method in class com.articulate.sigma.KB: This method tries to find or compute a valence for the input relation.
getVariable() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Quantified
getVariable() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm: Precondition: isVariable().
getVariable() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfQuantified
getVarMap() - Method in class com.articulate.sigma.Formula: Returns a map of the variable renames that occurred during the translation of this Formula into the clausal (resolution) form accessible via this.getClauses().
getVerb() - Method in class com.articulate.sigma.nlg.Sentence
getVerb() - Method in class com.articulate.sigma.nlg.SumoProcess
getVerbRootForm(String) - Static method in class com.articulate.sigma.nlg.SumoProcess: Get the root of the given verb.
getW3cNamespaceDelimiter() - Static method in class com.articulate.sigma.DocGen
getW3cNamespaceDelimiter() - Static method in class com.articulate.sigma.StringUtil: Returns the string preferred by W3C to separate a namespace prefix from the term it qualifies.
getWeekDay() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
getWnFile(String) - Method in class com.articulate.sigma.WordNet: Returns the WordNet File object corresponding to key.
getWord() - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens
getWordFromKey(String) - Static method in class com.articulate.sigma.WordNetUtilities: Extract the word from a word_POS_num sense key.
getWordIndex() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
getWordIndex() - Method in class com.articulate.sigma.semRewrite.datesandnumber.TimeInfo
getWordIndexes() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
getWordSenses(ArrayList<String>) - Static method in class com.articulate.sigma.DB
getWordsFromSynset(String) - Method in class com.articulate.sigma.WordNet
getWordsFromTerm(String) - Method in class com.articulate.sigma.WordNet: Get the words and synsets corresponding to a SUMO term.
getYear() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
glosses - Static variable in class com.articulate.sigma.OMWordnet
Graph - Class in com.articulate.sigma: Handle operations for creating a graphical representation of partial ordering relations.
Graph() - Constructor for class com.articulate.sigma.Graph
Graph - Class in com.articulate.sigma.semRewrite
Graph(String) - Constructor for class com.articulate.sigma.semRewrite.Graph
groupClauses(ClauseSubstitutor, List<String>) - Static method in class com.articulate.sigma.semRewrite.substitutor.SubstitutionUtil: Takes the list of clauses and substitutes them using provided substitutor.
GT - Static variable in class com.articulate.sigma.Formula
GTET - Static variable in class com.articulate.sigma.Formula
guessGender(String) - Static method in class com.articulate.sigma.DB
GZIP - Static variable in class com.articulate.sigma.Base64: Specify that data should be gzip-compressed in second bit.

H

halt(int) - Static method in class jpl.fli.Prolog
halt() - Static method in class jpl.JPL: Terminates the Prolog session.
hasCorrectArity(Formula, KB) - Static method in class com.articulate.sigma.PredVarInst: If arity is correct, return null, otherwise, return the predicate that has its arity violated in the given formula.
hashCode() - Method in class com.articulate.sigma.DocGen.PresentationNameComparator: should never be called so throw an error.
hashCode() - Method in class com.articulate.sigma.Formula: If equals is overridedden, hashCode must use the same "significant" fields.
hashCode() - Method in class com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
hashCode() - Method in class com.articulate.sigma.semRewrite.CommonCNFUtil.Pair
hashCode() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
hashCode() - Method in class com.articulate.sigma.semRewrite.datesandnumber.TimeInfo
hashCode() - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Atomic
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Binary
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.Formula: should never be called so throw an error.
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Negation
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.Formula.Quantified
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.Literal
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.Symbol
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.Term
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula: should never be called so throw an error.
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfAtomic
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfBinary
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfQuantified
hashCode() - Method in class tptp_parser.SimpleTptpParserOutput.ThfFormula.ThfUnary
hasMoreElements() - Method in class jpl.Query: This method is completes the java.util.Enumeration interface.
hasMoreSolutions() - Method in class jpl.Query: This method returns true if making a Prolog Query using this Object's Atom and Terms succeeds.
hasMoreSubstitutions() - Method in class jpl.Query: Deprecated.
Substitution too hard to spell; use *Solution* instead.
hasSubComponents(KB, String) - Method in class com.articulate.sigma.DocGen: Returns true if term has syntactic subcomponents such as XML elements or XML attributes in kb, else returns false.
head() - Method in class jpl.List
Hotel - Class in com.articulate.sigma
Hotel() - Constructor for class com.articulate.sigma.Hotel
Hotel.JSONElement - Class in com.articulate.sigma
hotelAmenitySentiment(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel: Compute concept sentiment and store as a side effect.
HotelDBImport(boolean) - Static method in class com.articulate.sigma.Hotel
hotelReviewSUMOasSparseMatrix(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel
hotelReviewSUMOSentimentAsSparseMatrix(ArrayList<Hotel>, boolean) - Static method in class com.articulate.sigma.Hotel
hotelSentiment(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel
htmlDivider - Static variable in class com.articulate.sigma.HTMLformatter
htmlDivider(String) - Static method in class com.articulate.sigma.HTMLformatter: Create the HTML for the labeled divider between the sections of the term display.
htmlFormat(String) - Method in class com.articulate.sigma.Formula: Format a formula for HTML presentation.
htmlFormat(KB) - Method in class com.articulate.sigma.Formula: Format a formula for HTML presentation.
HTMLformatter - Class in com.articulate.sigma: A utility class that creates HTML-formatting Strings for various purposes.
HTMLformatter() - Constructor for class com.articulate.sigma.HTMLformatter
htmlParaphrase(String) - Method in class com.articulate.sigma.nlg.LanguageFormatter: Hyperlink terms in a natural language format string.
htmlParaphrase(String, String, Map<String, String>, Map<String, String>, KB, String) - Static method in class com.articulate.sigma.nlg.NLGUtils: Hyperlink terms in a natural language format string.
htmlTPTPFormat(Formula, String, boolean) - Static method in class com.articulate.sigma.TPTPutil: Format a formula for either text or HTML presentation by inserting the proper hyperlink code, characters for indentation and end of line.

I

id - Variable in class TPTPWorld.TPTPFormula
Ident - Static variable in class com.articulate.sigma.semRewrite.Lexer
identifyClauseVariables(SimpleTptpParserOutput.Clause, ArrayList<String>) - Static method in class TPTPWorld.TPTPParser
identifyFormulaVariables(SimpleTptpParserOutput.Formula, ArrayList<String>) - Static method in class TPTPWorld.TPTPParser
identifyQuantifiedVariables(SimpleTptpParserOutput.Formula, ArrayList<String>) - Static method in class TPTPWorld.TPTPParser
identifyTermVariables(SimpleTptpParserOutput.Formula.Atomic, ArrayList<String>) - Static method in class TPTPWorld.TPTPParser
identifyVariables(TPTPFormula) - Static method in class TPTPWorld.TPTPParser
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.semRewrite.substitutor.CorefSubstitutor
IGNORE_SENTENCE - Static variable in class com.articulate.sigma.semRewrite.substitutor.CoreLabelSequence
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
IMPLICATION - Static variable in interface tptp_parser.TptpTokenTypes
Implies - Static variable in class com.articulate.sigma.semRewrite.Lexer
IncludeDirective(String, Iterable<String>, int) - Constructor for class tptp_parser.SimpleTptpParserOutput.IncludeDirective
incrLine() - Method in class tptp_parser.TptpLexer
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 - Variable in class com.articulate.sigma.semRewrite.QAOutputGenerator.Record
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
Inference(String, Iterable<TptpParserOutput.InfoItem>, Iterable<TptpParserOutput.ParentInfo>) - Constructor for class tptp_parser.SimpleTptpParserOutput.Source.Inference
inference_rule(TptpParserOutput) - Method in class tptp_parser.TptpParser
InferenceEngine - Class in com.articulate.sigma
InferenceEngine() - Constructor for class com.articulate.sigma.InferenceEngine
InferenceEngine.EngineFactory - Class in com.articulate.sigma
InferenceRule(String, String, Iterable<TptpParserOutput.GeneralTerm>) - Constructor for class tptp_parser.SimpleTptpParserOutput.InfoItem.InferenceRule
InferenceStatus(TptpParserOutput.StatusValue) - Constructor for class tptp_parser.SimpleTptpParserOutput.InfoItem.InferenceStatus
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.
info_item(TptpParserOutput) - Method in class tptp_parser.TptpParser
info_items(TptpParserOutput) - Method in class tptp_parser.TptpParser
InfoItem() - Constructor for class tptp_parser.SimpleTptpParserOutput.InfoItem
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.
init(String[]) - Static method in class jpl.JPL: Initializes the Prolog engine, using the String argument parameters passed.
init() - Static method in class jpl.JPL: Default initializor.
init() - Static method in class TPTPWorld.InterfaceTPTP
initialise(int, String[]) - Static method in class jpl.fli.Prolog
initialize() - Method in class com.articulate.sigma.nlp.NaiveBayes
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.nlp.NaiveBayes
input - Variable in class com.articulate.sigma.semRewrite.Lexer
Input - Class in edu.dlsu.SUMOs.obj
Input() - Constructor for class edu.dlsu.SUMOs.obj.Input
InputStream(InputStream) - Constructor for class com.articulate.sigma.Base64.InputStream: Constructs a Base64.InputStream in DECODE mode.
InputStream(InputStream, int) - Constructor for class com.articulate.sigma.Base64.InputStream: Constructs a Base64.InputStream in either ENCODE or DECODE mode.
insertFormulaArgs(Formula) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Insert the given formula arguments into the topmost element of the stack.
Instance - Class in edu.dlsu.SUMOs.obj
Instance(String) - Constructor for class edu.dlsu.SUMOs.obj.Instance
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
integer(String) - Method in class edu.dlsu.SUMOs.util.Xml
INTEGER - Static variable in class jpl.fli.Prolog
INTEGER - Static variable in interface tptp_parser.TptpTokenTypes
Integer_JPL - Class in jpl: An Integer is a Term with an int field.
Integer_JPL(int) - Constructor for class jpl.Integer_JPL
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
InterfaceTPTP - Class in TPTPWorld
InterfaceTPTP() - Constructor for class TPTPWorld.InterfaceTPTP
Internal(String, Iterable<TptpParserOutput.InfoItem>) - Constructor for class tptp_parser.SimpleTptpParserOutput.Source.Internal
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
interpretGenCNF(String) - Method in class com.articulate.sigma.semRewrite.Interpreter: Take in a single sentence and output CNF for further processing.
interpretGenCNFBasic(String) - Method in class com.articulate.sigma.semRewrite.Interpreter: Take in a single sentence and output CNF for further processing.
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.
IntHolder - Class in jpl.fli: An IntHolder is merely a Holder class for an Int value.
IntHolder() - Constructor for class jpl.fli.IntHolder
intro_info(TptpParserOutput) - Method in class tptp_parser.TptpParser
intro_type(TptpParserOutput) - Method in class tptp_parser.TptpParser
IQuote(String) - Constructor for class tptp_parser.SimpleTptpParserOutput.InfoItem.IQuote
ir - Static variable in class com.articulate.sigma.semRewrite.Interpreter
is_atom(term_t) - Static method in class jpl.fli.Prolog
is_atomic(term_t) - Static method in class jpl.fli.Prolog
is_binary - Variable in class com.articulate.sigma.nlp.SVM
is_compound(term_t) - Static method in class jpl.fli.Prolog
is_float(term_t) - Static method in class jpl.fli.Prolog
is_functor(term_t, functor_t) - Static method in class jpl.fli.Prolog
is_integer(term_t) - Static method in class jpl.fli.Prolog
is_libsvm_file - Variable in class com.articulate.sigma.nlp.SVM
is_list(term_t) - Static method in class jpl.fli.Prolog
is_number(term_t) - Static method in class jpl.fli.Prolog
is_sparse_data - Variable in class com.articulate.sigma.nlp.SVM
is_string(term_t) - Static method in class jpl.fli.Prolog
is_variable(term_t) - Static method in class jpl.fli.Prolog
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
isCnfFormula() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm
isColon() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm
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.
isCounterSatisfiable(String) - Static method in class TPTPWorld.SystemOnTPTP
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.
isDistinctObject() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm
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() - Method in class com.articulate.sigma.semRewrite.substitutor.CoreLabelSequence
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
isFofFormula() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm
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
isFunction() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm
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).
isList() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm
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
isPositive() - Method in class tptp_parser.SimpleTptpParserOutput.Literal
isPrint - Static variable in class edu.dlsu.SUMOs.main.PictureEditor
isPrint2 - Static variable in class edu.dlsu.SUMOs.main.PictureEditor
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.
isTerm() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm
isTheorem(String) - Static method in class TPTPWorld.SystemOnTPTP
isThfFormula() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm
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)?
isVariable() - Method in class tptp_parser.SimpleTptpParserOutput.GeneralTerm
isVariable() - Method in class tptp_parser.SimpleTptpParserOutput.Symbol
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
item - Variable in class TPTPWorld.TPTPFormula
Items - Variable in class TPTPWorld.TPTPParser
ith(int) - Method in class jpl.Compound

J

jpl - package jpl
JPL - Class in jpl: The JPL class contains initialization and termination methods for the High-Level interface.
JPL() - Constructor for class jpl.JPL
jpl.fli - package jpl.fli
JPLException - Exception in jpl: This base class for JPL Exceptions is thrown from various methods in JPL.
JPLException() - Constructor for exception jpl.JPLException
JPLException(String) - Constructor for exception jpl.JPLException
JPLUtil - Class in jpl: This class provides a bunch of static utility methods for the JPL High-Level Interface.
JPLUtil() - Constructor for class jpl.JPLUtil
JSONElement() - Constructor for class com.articulate.sigma.Hotel.JSONElement
justification - Variable in class com.articulate.delphi.Cell: The explanation user's explanation for choosing a given value.

K

KAPPAFN - Static variable in class com.articulate.sigma.Formula
kb - Static variable in class com.articulate.sigma.DependencyConverter
kb - Variable in class com.articulate.sigma.DocGen: The KB associated with this DocGen object.
kb - Variable in class com.articulate.sigma.DocGen.PresentationNameComparator
KB - Class in com.articulate.sigma: Contains methods for reading, writing knowledge bases and their configurations.
KB(String, String) - Constructor for class com.articulate.sigma.KB: Constructor which takes the name of the KB and the location where KBs preprocessed for EProver should be placed.
KB(String, String, boolean) - Constructor for class com.articulate.sigma.KB
KB(KB) - Constructor for class com.articulate.sigma.KB: Perform a deep copy of the kb input
KB(String) - Constructor for class com.articulate.sigma.KB: Constructor
kb - Variable in class com.articulate.sigma.KBcache
kb - Variable in class com.articulate.sigma.OWLtranslator
kb - Static variable in class com.articulate.sigma.Prolog
kb - Variable in class com.articulate.sigma.SUMOKBtoTPTPKB
kbCache - Variable in class com.articulate.sigma.KB
KBcache - Class in com.articulate.sigma
KBcache() - Constructor for class com.articulate.sigma.KBcache: empty constructor for testing only
KBcache(KB) - Constructor for class com.articulate.sigma.KBcache
KBcache(KBcache, KB) - Constructor for class com.articulate.sigma.KBcache
kbConsistencyCheck(KB) - Static method in class com.articulate.sigma.Diagnostics: Iterating through all formulas, return a proof of an inconsistent or redundant one, if such a thing exists.
kbDir - Variable in class com.articulate.sigma.KB: The location of preprocessed KIF files, suitable for loading into EProver.
kbHref - Static variable in class com.articulate.sigma.HTMLformatter
kbHref - Static variable in class com.articulate.sigma.TaxoModel
KBmanager - Class in com.articulate.sigma: This is a class that manages a group of knowledge bases.
KBmanager() - Constructor for class com.articulate.sigma.KBmanager
kbName - Static variable in class com.articulate.sigma.TaxoModel
kbs - Variable in class com.articulate.sigma.KBmanager
KButilities - Class in com.articulate.sigma: Contains utility methods for KBs
KButilities() - Constructor for class com.articulate.sigma.KButilities
KIF - Class in com.articulate.sigma: A class designed to read a file in SUO-KIF format into memory.
KIF() - Constructor for class com.articulate.sigma.KIF
KIF - Variable in class com.articulate.sigma.semRewrite.QAOutputGenerator.Record
KIF2THF(Collection<Formula>, Collection<Formula>, KB) - Method in class com.articulate.sigma.THF: public String KIF2THF(Collection axioms, Collection conjectures, KB kb) { // string builders for the essential results of the translation: // signature, axioms, and conjectures StringBuilder signatureResult = new StringBuilder(); signatureResult.append("\n%%% The extracted Signature %%%"); StringBuilder axiomsResult = new StringBuilder(); axiomsResult.append("\n\n%%% The translated axioms %%%"); StringBuilder conjecturesResult = new StringBuilder(); conjecturesResult.append("\n\n%%% The translated conjectures %%%"); // tags and a map to distinguish axioms from conjectures String axTag = "ax"; String conTag = "con"; HashMap taggedFormulas = new HashMap(); for (Iterator iter = axioms.iterator(); iter.hasNext();) { Formula ax = (Formula) iter.next(); taggedFormulas.put(ax,axTag); } for (Iterator iter = conjectures.iterator(); iter.hasNext();) { Formula con = (Formula) iter.next(); taggedFormulas.put(con,conTag); } // the main loop; we proceed formula by formula and work with side effects // to variables introduced above (I know that this is terrible programming style!) for (Iterator iter = taggedFormulas.keySet().iterator(); iter.hasNext();) { Formula form = (Formula) iter.next(); // formula f contains the explicitly quantified formula under // consideration, the quantifier (universal/existential) is // determined correctly for axioms and conjectures Formula f = new Formula(); if (taggedFormulas.get(form).equals(axTag)) { f.read(form.makeQuantifiersExplicit(false)); } else if (taggedFormulas.get(form).equals(conTag)) { f.read(form.makeQuantifiersExplicit(true)); } System.out.println("\nKIF2THF -- translating KIF formula: " + f.theFormula.trim()); // we request some semantic type-relevant information on the function and // relation symbols involved; this information is used with priority below HashMap relTypeInfo = f.gatherRelationsWithArgTypes(kb); // we initialize the terms-to-types mapping and start the actual translation terms = new HashMap(); String res = toTHF1(f,boolTp,relTypeInfo); // toTHF1 may return a THF translation that still contains many occurences // of the (kind of) polymorphic 'unkownTp' and in this case we apply further // translation attempts employing the incrementially refined term-to-type // information.
kifListToArrayList(String) - Static method in class com.articulate.sigma.StringUtil: Returns a new ArrayList formed by extracting in order the top-level members of kifListAsString, which is assumed to be the String representation of a SUO-KIF (LISP) list.
KIFplus - Class in com.articulate.sigma: A class designed to adhere strictly to the SUO-KIF definition at http://suo.ieee.org/suo-kif.html
KIFplus() - Constructor for class com.articulate.sigma.KIFplus
kifToW3c(String) - Static method in class com.articulate.sigma.StringUtil
KMeans - Class in com.articulate.sigma.nlp
KMeans() - Constructor for class com.articulate.sigma.nlp.KMeans
KMeansVec - Class in com.articulate.sigma.nlp
KMeansVec() - Constructor for class com.articulate.sigma.nlp.KMeansVec

L

label - Variable in class com.articulate.sigma.semRewrite.Arc
label - Variable in class com.articulate.sigma.semRewrite.Graph
label - Variable in class com.articulate.sigma.semRewrite.Node
labels - Variable in class com.articulate.sigma.nlp.NaiveBayes
LAMBDA - Static variable in interface tptp_parser.TptpTokenTypes
LangLib - Class in com.articulate.sigma.nlp.constants: POS Tag is derived from Penn POS http://www.ling.upenn.edu/courses/Fall_2003/ling001/penn_treebank_pos.html
Dependency Labels is from Stanford Typed Dependencies.
LangLib() - Constructor for class com.articulate.sigma.nlp.constants.LangLib
language - Static variable in class com.articulate.sigma.HTMLformatter
language - Variable in class com.articulate.sigma.KB: The natural language in which axiom paraphrases should be presented.
LanguageFormatter - Class in com.articulate.sigma.nlg: A class that handles the generation of natural language from logic.
LanguageFormatter(String, Map<String, String>, Map<String, String>, KB, String) - Constructor for class com.articulate.sigma.nlg.LanguageFormatter
LanguageFormatterStack - Class in com.articulate.sigma.nlg: The stack which LanguageFormatter uses in its recursive operations.
LanguageFormatterStack() - Constructor for class com.articulate.sigma.nlg.LanguageFormatterStack
languageToCode(String) - Static method in class com.articulate.sigma.OMWordnet
lastCCheck(String) - Method in class com.articulate.sigma.CCheckManager: Returns the timestamp of when the last consistency check was run on this KB.
lastModified - Variable in class com.articulate.sigma.Hotel
lat - Variable in class com.articulate.sigma.Hotel
lcodes - Static variable in class com.articulate.sigma.OMWordnet
lemmatizeResults(List<String>, List<CoreLabel>, ClauseSubstitutor) - Static method in class com.articulate.sigma.semRewrite.Interpreter: Lemmatize the results of the dependency parser, WSD, etc.
length() - Method in class jpl.List: This method returns the length of a List.
level - Static variable in class com.articulate.sigma.Hotel
lex() - Method in class com.articulate.sigma.semRewrite.Lexer: Return a list of all tokens in the source.
Lexer - Class in com.articulate.sigma.semRewrite
Lexer() - Constructor for class com.articulate.sigma.semRewrite.Lexer
Lexer(String) - Constructor for class com.articulate.sigma.semRewrite.Lexer
Lexer(File) - Constructor for class com.articulate.sigma.semRewrite.Lexer: Read a text file into the "input" String variables.
lexTypes() - Method in class com.articulate.sigma.semRewrite.Lexer: Return a list of all tokens in the source.
LHS - Class in com.articulate.sigma.semRewrite: LHS ::= ClausePattern Match & delete atomic clause +ClausePattern Match & preserve atomic clause LHS, LHS Boolean conjunction (LHS | LHS) Boolean disjunction —LHS Boolean negation {ProcedureCall} Procedural attachment
LHS() - Constructor for class com.articulate.sigma.semRewrite.LHS
lhs - Variable in class com.articulate.sigma.semRewrite.Rule
LHS.LHSop - Enum in com.articulate.sigma.semRewrite
lhs1 - Variable in class com.articulate.sigma.semRewrite.LHS
lhs2 - Variable in class com.articulate.sigma.semRewrite.LHS
line - Variable in class com.articulate.sigma.semRewrite.Lexer
lineno() - Method in class com.articulate.sigma.StreamTokenizer_s: Return the current line number.
linepos() - Method in class com.articulate.sigma.semRewrite.Lexer
lines - Variable in class com.articulate.sigma.nlp.TFIDF
lineSeparator - Variable in class com.articulate.sigma.DocGen
LIST - Static variable in class jpl.fli.Prolog
List - Class in jpl: A List is a Compound, but with just two args, a head and a tail.
List(Term, Term) - Constructor for class jpl.List: This constructor is used to create a List.
list() - Static method in class jpl.List
list(Term) - Static method in class jpl.List
list(Term, Term) - Static method in class jpl.List
list(Term, Term, Term) - Static method in class jpl.List
list(Term, Term, Term, Term) - Static method in class jpl.List
list(Term, Term, Term, Term, Term) - Static method in class jpl.List
list(Term, Term, Term, Term, Term, Term) - Static method in class jpl.List
list(Term, Term, Term, Term, Term, Term, Term) - Static method in class jpl.List
list(Term, Term, Term, Term, Term, Term, Term, Term) - Static method in class jpl.List
list(Term, Term, Term, Term, Term, Term, Term, Term, Term) - Static method in class jpl.List
list(Term, Term, Term, Term, Term, Term, Term, Term, Term, Term) - Static method in class jpl.List
List.Nil - Class in jpl: The Nil class is used to terminate a List.
listing() - Static method in class jpl.SWIUtil
listLength() - Method in class com.articulate.sigma.Formula: Returns a non-negative int value indicating the top-level list length of this Formula if it is a proper listP(), else returns -1.
ListOfSources(Iterable<TptpParserOutput.Source>) - Constructor for class tptp_parser.SimpleTptpParserOutput.Source.ListOfSources
listOfSources() - Method in class tptp_parser.SimpleTptpParserOutput.Source.ListOfSources
listP() - Method in class com.articulate.sigma.Formula: Test whether the Formula is a list.
listP(String) - Static method in class com.articulate.sigma.Formula: Test whether the String is a list.
listSystems(String) - Static method in class TPTPWorld.SystemOnTPTP
listSystems(String, String) - Static method in class TPTPWorld.SystemOnTPTP
literal - Variable in class com.articulate.sigma.semRewrite.Lexer
Literal - Class in com.articulate.sigma.semRewrite: pred(arg1,arg2).
Literal() - Constructor for class com.articulate.sigma.semRewrite.Literal
Literal(boolean, TptpParserOutput.AtomicFormula) - Constructor for class tptp_parser.SimpleTptpParserOutput.Literal
literal(TptpParserOutput) - Method in class tptp_parser.TptpParser
literalListToFormula(List<String>) - Static method in class com.articulate.sigma.KB: Converts a literal (List object) to a Formula.
literalListToString(List<String>) - Static method in class com.articulate.sigma.KB: Converts a literal (List object) to a String.
literalToArrayList() - Method in class com.articulate.sigma.Formula
lnames - Static variable in class com.articulate.sigma.OMWordnet
lng - Variable in class com.articulate.sigma.Hotel
loadCNFMapfromFile(String) - Static method in class com.articulate.sigma.semRewrite.CommonCNFUtil: load the intermediate parsing result to save time
loadEProver() - Method in class com.articulate.sigma.KB: Starts EProver and collects, preprocesses and loads all of the constituents into it.
loadFileAndFindCommonCNF(String) - Static method in class com.articulate.sigma.semRewrite.CommonCNFUtil: function to load text file and generate one common CNF for all sentences, one sentence one line.
loadFormatMaps(String) - Method in class com.articulate.sigma.KB: Populates the format maps for language lang.
loadFormatMapsAttempted - Variable in class com.articulate.sigma.KB: This List is used to limit the number of warning messages logged by loadFormatMaps(lang).
loadFormulas(Iterable<String>) - Method in class com.articulate.sigma.SInE: Loads formulas from given source.
loadKB(String, List<String>) - Method in class com.articulate.sigma.KBmanager
loadRules(String) - Method in class com.articulate.sigma.semRewrite.Interpreter
loadRules() - Method in class com.articulate.sigma.semRewrite.Interpreter
loadRuleSet() - Static method in class com.articulate.sigma.semRewrite.RewriteRuleUtil: load RuleSet from "SemRewrite.txt"
loadSentencesFormJsonFile(String) - Static method in class com.articulate.sigma.semRewrite.CommonCNFUtil: load sentences from "IRtest.json" like QA pair file
loadSentencesFromTxt(String) - Static method in class com.articulate.sigma.semRewrite.CommonCNFUtil: load sentences from file, one line one sentence
loadSentencesMap(String) - Static method in class com.articulate.sigma.semRewrite.CommonCNFUtil: load sentences from file, one line one sentence return map
loadSystems(String) - Static method in class TPTPWorld.SystemOnTPTP
localCounter - Variable in class com.articulate.sigma.DocGen
lock() - Static method in class jpl.Query: Use this method to obtain the lock that is used to synchronize all calls to the Low-Level Interface.
LOG_FALSE - Static variable in class com.articulate.sigma.Formula
LOG_TRUE - Static variable in class com.articulate.sigma.Formula
LOGICAL_OPERATORS - Static variable in class com.articulate.sigma.Formula: The SUO-KIF logical operators.
logicallyEquals(String) - Method in class com.articulate.sigma.Formula: Test if the contents of the formula are equal to the argument at a deeper level than a simple string equals.
logicallyEquals(Formula) - Method in class com.articulate.sigma.Formula: Tests if this is logically equal with the parameter formula.
Login - Class in com.articulate.sigma
Login() - Constructor for class com.articulate.sigma.Login
Long_JPL - Class in jpl: A Long is a Term with an int field.
Long_JPL(int) - Constructor for class jpl.Long_JPL
LongHolder - Class in jpl.fli: A Long Holder merely holds a long value.
LongHolder() - Constructor for class jpl.fli.LongHolder
look() - Method in class com.articulate.sigma.semRewrite.Lexer
lookLit() - Method in class com.articulate.sigma.semRewrite.Lexer
LooksDifferent - Class in TPTPWorld
LooksDifferent() - Constructor for class TPTPWorld.LooksDifferent
lookType() - Method in class com.articulate.sigma.semRewrite.Lexer
LOWER_WORD - Static variable in interface tptp_parser.TptpTokenTypes
lowerCaseMode(boolean) - Method in class com.articulate.sigma.StreamTokenizer_s: Determines whether or not word token are automatically lowercased.
lowestCommonParent(String, String) - Static method in class com.articulate.sigma.WordNetUtilities
lowRate - Variable in class com.articulate.sigma.Hotel
LP - Static variable in class com.articulate.sigma.Formula
LPR - Static variable in interface tptp_parser.TptpTokenTypes
LSB - Static variable in interface tptp_parser.TptpTokenTypes
LT - Static variable in class com.articulate.sigma.Formula
LTET - Static variable in class com.articulate.sigma.Formula
ltrim(String) - Static method in class TPTPWorld.SystemInfoParser

M

main(String[]) - Static method in class com.articulate.delphi.Delphi
main(String[]) - Static method in class com.articulate.delphi.PasswordService
main(String[]) - Static method in class com.articulate.delphi.Project
main(String[]) - Static method in class com.articulate.delphi.Table
main(String[]) - Static method in class com.articulate.delphi.TableAverage
main(String[]) - Static method in class com.articulate.delphi.User
main(String[]) - Static method in class com.articulate.sigma.BasicXMLparser: Test method.
main(String[]) - Static method in class com.articulate.sigma.CELT
main(String[]) - Static method in class com.articulate.sigma.Clausifier
main(String[]) - Static method in class com.articulate.sigma.DB: A test method
main(String[]) - Static method in class com.articulate.sigma.DependencyConverter
main(String[]) - Static method in class com.articulate.sigma.Diagnostics: Test method for this class.
main(String[]) - Static method in class com.articulate.sigma.DocGen
main(String[]) - Static method in class com.articulate.sigma.EditGUI: A test method.
main(String[]) - Static method in class com.articulate.sigma.Editor: A test method.
main(String[]) - Static method in class com.articulate.sigma.EProver: A simple test.
main(String[]) - Static method in class com.articulate.sigma.Formula: A test method.
main(String[]) - Static method in class com.articulate.sigma.FormulaPreprocessor
main(String[]) - Static method in class com.articulate.sigma.Graph: A test method.
main(String[]) - Static method in class com.articulate.sigma.Hotel
main(String[]) - Static method in class com.articulate.sigma.HTMLformatter
main(String[]) - Static method in class com.articulate.sigma.InferenceTestSuite: Test method
main(String[]) - Static method in class com.articulate.sigma.KB
main(String[]) - Static method in class com.articulate.sigma.KBcache
main(String[]) - Static method in class com.articulate.sigma.KBmanager: A test method.
main(String[]) - Static method in class com.articulate.sigma.KButilities
main(String[]) - Static method in class com.articulate.sigma.KIF: Test method for this class.
main(String[]) - Method in class com.articulate.sigma.KIFplus
main(String[]) - Static method in class com.articulate.sigma.Mapping: A test method.
main(String[]) - Static method in class com.articulate.sigma.NER
main(String[]) - Static method in class com.articulate.sigma.nlg.LanguageFormatter
main(String[]) - Static method in class com.articulate.sigma.nlp.GaussElim: test method
main(String[]) - Static method in class com.articulate.sigma.nlp.KMeans
main(String[]) - Static method in class com.articulate.sigma.nlp.KMeansVec
main(String[]) - Static method in class com.articulate.sigma.nlp.NaiveBayes
main(String[]) - Static method in class com.articulate.sigma.nlp.pipeline.Pipeline
main(String[]) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil
main(String[]) - Static method in class com.articulate.sigma.nlp.SimFlood
main(String[]) - Static method in class com.articulate.sigma.nlp.SVM
main(String[]) - Static method in class com.articulate.sigma.nlp.TFIDF: Run a series of tests containing a filename, a query and an expected answer.
main(String[]) - Static method in class com.articulate.sigma.nlp.WNsim: A main method, used only for testing.
main(String[]) - Static method in class com.articulate.sigma.OMWordnet: A main method, used only for testing.
main(String[]) - Static method in class com.articulate.sigma.OWLtranslator: A test method.
main(String[]) - Static method in class com.articulate.sigma.PasswordService
main(String[]) - Static method in class com.articulate.sigma.PredVarInst
main(String[]) - Static method in class com.articulate.sigma.Prolog
main(String[]) - Static method in class com.articulate.sigma.ProofProcessor: A main method, used only for testing.
main(String[]) - Static method in class com.articulate.sigma.RowVars
main(String[]) - Static method in class com.articulate.sigma.semRewrite.Clausifier
main(String[]) - Static method in class com.articulate.sigma.semRewrite.CNF: A test method
main(String[]) - Static method in class com.articulate.sigma.semRewrite.CommonCNFUtil
main(String[]) - Static method in class com.articulate.sigma.semRewrite.datesandnumber.InterpretNumerics
main(String[]) - Static method in class com.articulate.sigma.semRewrite.Interpreter
main(String[]) - Static method in class com.articulate.sigma.semRewrite.Lexer
main(String[]) - Static method in class com.articulate.sigma.semRewrite.LHS: A test method
main(String[]) - Static method in class com.articulate.sigma.semRewrite.Literal: A test method
main(String[]) - Static method in class com.articulate.sigma.semRewrite.QAOutputGenerator
main(String[]) - Static method in class com.articulate.sigma.semRewrite.RewriteRuleUtil
main(String[]) - Static method in class com.articulate.sigma.semRewrite.RHS: A test method
main(String[]) - Static method in class com.articulate.sigma.semRewrite.Rule: A test method
main(String[]) - Static method in class com.articulate.sigma.semRewrite.RuleSet: A test method
main(String[]) - Static method in class com.articulate.sigma.SigmaCheck
main(String[]) - Static method in class com.articulate.sigma.SimpleDOMParser
main(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.
main(String[]) - Static method in class com.articulate.sigma.StringUtil
main(String[]) - Static method in class com.articulate.sigma.SUMOformulaToTPTPformula: A test method.
main(String[]) - Static method in class com.articulate.sigma.SUMOKBtoTPTPKB
main(String[]) - Static method in class com.articulate.sigma.THF: A test method.
main(String[]) - Static method in class com.articulate.sigma.TPTP2SUMO
main(String[]) - Static method in class com.articulate.sigma.TPTP3ProofProcessor
main(String[]) - Static method in class com.articulate.sigma.TPTPutil
main(String[]) - Static method in class com.articulate.sigma.User
main(String[]) - Static method in class com.articulate.sigma.Vampire: A simple test.
main(String[]) - Static method in class com.articulate.sigma.WNdiagnostics: A main method, used only for testing.
main(String[]) - Static method in class com.articulate.sigma.WordNet: A main method, used only for testing.
main(String[]) - Static method in class com.articulate.sigma.wordNet.WNdiagnostics: A main method, used only for testing.
main(String[]) - Static method in class com.articulate.sigma.WordNetUtilities: A main method, used only for testing.
main(String[]) - Static method in class com.articulate.sigma.WSD: A main method, used only for testing.
main(String[]) - Static method in class edu.dlsu.SUMOs.main.PictureEditor
main(String[]) - Static method in class edu.dlsu.SUMOs.util.DateUtils
main(String...) - Static method in class edu.dlsu.SUMOs.util.ReadWriteTextFile: Simple test harness.
main(String[]) - Static method in class jpl.fli.Prolog
main(String[]) - Static method in class jpl.JPL
main(String[]) - Static method in class SigmaStatusCheck
main(String[]) - Static method in class TPTPWorld.AnswerExtractor
main(String[]) - Static method in class TPTPWorld.AnswerFinder
main() - Static method in class TPTPWorld.InterfaceTPTP
main(String[]) - Static method in class TPTPWorld.LooksDifferent
main(String[]) - Static method in class TPTPWorld.ProofSummary
main(String[]) - Static method in class TPTPWorld.SystemInfoParser
main(String[]) - Static method in class TPTPWorld.SystemOnTPTP
main(String[]) - Static method in class TPTPWorld.TPTPParser
makeBinaryRelationship(String, String, String) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil
makeOutputDir(String) - Method in class com.articulate.sigma.DocGen: Creates a subdirectory of SIGMA_HOME/files/, in which output files of the type specified by token are saved.
makeQuantifiersExplicit(boolean) - Method in class com.articulate.sigma.Formula: Makes implicit quantification explicit.
makeQuotedString(String, char) - Static method in class com.articulate.sigma.StringUtil: Returns a new String formed by adding quoteChar to each end of input.
maleNames - Static variable in class com.articulate.sigma.DependencyConverter
mALL(boolean) - Method in class tptp_parser.TptpLexer
mAND(boolean) - Method in class tptp_parser.TptpLexer
MANY_LINE_COMMENT - Static variable in interface tptp_parser.TptpTokenTypes
MAP - Static variable in interface tptp_parser.TptpTokenTypes
mapFormulaVariables(Formula, Formula, KB, HashMap<FormulaUtil.FormulaMatchMemoMapKey, List<Set<Formula.VariableMapping>>>) - Static method in class com.articulate.sigma.Formula: Compares two formulae by recursively traversing its predicate structure and by building possible variable maps between the variables of the two formulae.
mapOntologies(String, String, int, String) - Static method in class com.articulate.sigma.Mapping: Map ontologies through 4 methods: (1) identical term names (2) substrings of term names are equal (3) terms align to words in the same WordNet synset (4) extra "points" for having terms that align with the same structural arrangement
Mapping - Class in com.articulate.sigma: This code is copyright Articulate Software (c) 2004.
Mapping() - Constructor for class com.articulate.sigma.Mapping
mappingCharToName(char) - Static method in class com.articulate.sigma.WordNetUtilities
mappings - Static variable in class com.articulate.sigma.Mapping
mAPPLY(boolean) - Method in class tptp_parser.TptpLexer
markFormulaArgAsProcessed(String) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Mark the given formula argument as having been processed.
mASSIGN(boolean) - Method in class tptp_parser.TptpLexer
match(Graph, ArrayList<Graph>) - Method in class com.articulate.sigma.nlp.SimFlood: Match two graphs using Similarity Flooding
matchBestInput(String) - Method in class com.articulate.sigma.nlp.TFIDF
matchGraphs(Graph, Graph, HashMap<String, String>) - Method in class com.articulate.sigma.nlp.SimFlood: Match two graphs using Similarity Flooding
matchHotels(Hotel, Hotel) - Static method in class com.articulate.sigma.Hotel
matchInput(String) - Method in class com.articulate.sigma.nlp.TFIDF
matchInput(String, int) - Method in class com.articulate.sigma.nlp.TFIDF
matchInputFull(String) - Method in class com.articulate.sigma.nlp.TFIDF
MATRIX - Variable in class com.articulate.sigma.nlp.SVM
MAX_PREDICATE_ARITY - Static variable in class com.articulate.sigma.Formula: This constant indicates the maximum predicate arity supported by the current implementation of Sigma.
maxNounSynsetID - Variable in class com.articulate.sigma.WordNet
maxVerbSynsetID - Variable in class com.articulate.sigma.WordNet
mBIGPI(boolean) - Method in class tptp_parser.TptpLexer
mBIGSIGMA(boolean) - Method in class tptp_parser.TptpLexer
mCHOICE(boolean) - Method in class tptp_parser.TptpLexer
mCOLON(boolean) - Method in class tptp_parser.TptpLexer
mCOMMA(boolean) - Method in class tptp_parser.TptpLexer
mDESCRIPTION(boolean) - Method in class tptp_parser.TptpLexer
mDISEQUIVALENCE(boolean) - Method in class tptp_parser.TptpLexer
mDISTINCT_OBJECT(boolean) - Method in class tptp_parser.TptpLexer
mDOLLAR_DOLLAR_WORD(boolean) - Method in class tptp_parser.TptpLexer
mDOLLAR_WORD(boolean) - Method in class tptp_parser.TptpLexer
mDOT(boolean) - Method in class tptp_parser.TptpLexer
mean(float[], int) - Static method in class com.articulate.sigma.nlp.KMeans: This method will determine mean values
mean(float[][], int, int) - Static method in class com.articulate.sigma.nlp.KMeansVec: This method will determine mean vector of all vectors in list
mean(HashMap<String, Float>) - Static method in class com.articulate.sigma.nlp.WNsim
means - Variable in class com.articulate.sigma.nlp.NaiveBayes
MEASURE_ENTITIES - Static variable in class com.articulate.sigma.semRewrite.datesandnumber.StanfordDateTimeExtractor
media - Variable in class com.articulate.sigma.Hotel
median(Integer[]) - Static method in class com.articulate.delphi.Delphi
membersNotInAnyPartitionClass(KB) - Static method in class com.articulate.sigma.Diagnostics: Returns a list of terms, each of which is an instance of some exhaustively decomposed class but is not an instance of any of the subclasses that constitute the exhaustive decomposition.
mEQUAL(boolean) - Method in class tptp_parser.TptpLexer
mEQUIVALENCE(boolean) - Method in class tptp_parser.TptpLexer
merchant - Variable in class com.articulate.sigma.Hotel
merge(KIF, String) - Method in class com.articulate.sigma.KB: Merges a KIF object containing a single formula into the current KB.
merge(TreeSet, String, String) - Static method in class com.articulate.sigma.Mapping: rename terms in KB kbname2 to conform to names in kbname1
merge(SumoProcessCollector) - Method in class com.articulate.sigma.nlg.SumoProcessCollector: Merge the roles of the given SumoProcessCollector into this object.
merge(CNF) - Method in class com.articulate.sigma.semRewrite.CNF
mergeDates(Tokens, List<Tokens>, Tokens, Utilities) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
mergeHotels(ArrayList<Hotel>, ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel
mergeUpdates() - Static method in class com.articulate.sigma.WordNetUtilities: Read in a file with a nine-digit synset number followed by a space and a SUMO term.
method - Variable in class com.articulate.sigma.semRewrite.LHS
mEXIST(boolean) - Method in class tptp_parser.TptpLexer
mguTermList(Literal) - Method in class com.articulate.sigma.semRewrite.Literal: Unify all terms in term1 with the corresponding terms in term2 with a common substitution.
mIMPLICATION(boolean) - Method in class tptp_parser.TptpLexer
mINTEGER(boolean) - Method in class tptp_parser.TptpLexer
MINUSFN - Static variable in class com.articulate.sigma.Formula
MINUSMINUS - Static variable in interface tptp_parser.TptpTokenTypes
mLAMBDA(boolean) - Method in class tptp_parser.TptpLexer
mLOWER_WORD(boolean) - Method in class tptp_parser.TptpLexer
mLPR(boolean) - Method in class tptp_parser.TptpLexer
mLSB(boolean) - Method in class tptp_parser.TptpLexer
mMANY_LINE_COMMENT(boolean) - Method in class tptp_parser.TptpLexer
mMAP(boolean) - Method in class tptp_parser.TptpLexer
mMINUSMINUS(boolean) - Method in class tptp_parser.TptpLexer
mNOT_AND(boolean) - Method in class tptp_parser.TptpLexer
mNOT_OR(boolean) - Method in class tptp_parser.TptpLexer
mNOTEQUAL(boolean) - Method in class tptp_parser.TptpLexer
modifiedContents - Variable in class com.articulate.sigma.KB: Future: If true, the contents of the KB have been modified without updating the caches
module_name(module_t) - Static method in class jpl.fli.Prolog
module_t - Class in jpl.fli: A module_t is a PointerHolder type which holds a reference to a Prolog module_t reference.
module_t() - Constructor for class jpl.fli.module_t
mONE_LINE_COMMENT(boolean) - Method in class tptp_parser.TptpLexer
MONTHS - Static variable in class com.articulate.sigma.DependencyConverter
MONTHS - Static variable in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
months - Static variable in class com.articulate.sigma.semRewrite.Interpreter
mPLUSPLUS(boolean) - Method in class tptp_parser.TptpLexer
mREAL(boolean) - Method in class tptp_parser.TptpLexer
mREVERSE_IMPLICATION(boolean) - Method in class tptp_parser.TptpLexer
mRPR(boolean) - Method in class tptp_parser.TptpLexer
mRSB(boolean) - Method in class tptp_parser.TptpLexer
mSEQUENT(boolean) - Method in class tptp_parser.TptpLexer
mSINGLE_QUOTED(boolean) - Method in class tptp_parser.TptpLexer
mSMALLPI(boolean) - Method in class tptp_parser.TptpLexer
mSMALLSIGMA(boolean) - Method in class tptp_parser.TptpLexer
mSTAR(boolean) - Method in class tptp_parser.TptpLexer
mSUBTYPE(boolean) - Method in class tptp_parser.TptpLexer
mTILDA(boolean) - Method in class tptp_parser.TptpLexer
MultiWords - Class in com.articulate.sigma.wordNet
multiWords - Variable in class com.articulate.sigma.WordNet
MultiWords() - Constructor for class com.articulate.sigma.wordNet.MultiWords
mUNSIGNED_INTEGER(boolean) - Method in class tptp_parser.TptpLexer
mUPPER_WORD(boolean) - Method in class tptp_parser.TptpLexer
mVLINE(boolean) - Method in class tptp_parser.TptpLexer
mWHITESPACE(boolean) - Method in class tptp_parser.TptpLexer

N

N - Variable in class com.articulate.sigma.nlp.SVM
n1 - Variable in class com.articulate.sigma.semRewrite.Arc
n2 - Variable in class com.articulate.sigma.semRewrite.Arc
NaiveBayes - Class in com.articulate.sigma.nlp
NaiveBayes(String) - Constructor for class com.articulate.sigma.nlp.NaiveBayes
name - Variable in class com.articulate.delphi.Project
name - Variable in class com.articulate.sigma.DependencyConverter.Node
name - Variable in class com.articulate.sigma.Hotel
name - Variable in class com.articulate.sigma.KB: The name of the knowledge base.
name - Variable in class com.articulate.sigma.TaxoNode
name() - Method in class edu.dlsu.SUMOs.util.Xml
name() - Method in class jpl.Atom
Name(String) - Constructor for class tptp_parser.SimpleTptpParserOutput.Source.Name
name(TptpParserOutput) - Method in class tptp_parser.TptpParser
name - Variable in class TPTPWorld.ATPSystem
name_ - Variable in class jpl.Atom: This atom's name
name_list(TptpParserOutput) - Method in class tptp_parser.TptpParser
namespacePrefixes - Variable in class com.articulate.sigma.DocGen: A List of currently known namespace prefixes.
namespaces - Variable in class com.articulate.sigma.DocGen: A List of currently known namespaces.
NE_DATE - Static variable in class com.articulate.sigma.nlp.constants.LangLib
NE_LOC - Static variable in class com.articulate.sigma.nlp.constants.LangLib
NE_MISC - Static variable in class com.articulate.sigma.nlp.constants.LangLib
NE_MONEY - Static variable in class com.articulate.sigma.nlp.constants.LangLib
NE_ORG - Static variable in class com.articulate.sigma.nlp.constants.LangLib
NE_PERCENT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
NE_PERSON - Static variable in class com.articulate.sigma.nlp.constants.LangLib
NE_TIME - Static variable in class com.articulate.sigma.nlp.constants.LangLib: Named Entity Tags.
negate() - Method in class com.articulate.sigma.Formula
negated - Variable in class com.articulate.sigma.semRewrite.Literal
NEGATED_QUERY - Static variable in class com.articulate.sigma.ProofStep
Negation - Static variable in class com.articulate.sigma.semRewrite.Lexer
Negation(TptpParserOutput.FofFormula) - Constructor for class tptp_parser.SimpleTptpParserOutput.Formula.Negation
NER - Class in com.articulate.sigma
NER() - Constructor for class com.articulate.sigma.NER
new_atom(String) - Static method in class jpl.fli.Prolog
new_functor(atom_t, int) - Static method in class jpl.fli.Prolog
NEW_LINE_TEXT - Static variable in class TPTPWorld.SystemOnTPTP
new_module(atom_t) - Static method in class jpl.fli.Prolog
new_term_ref() - Static method in class jpl.fli.Prolog
new_term_refs(int) - Static method in class jpl.fli.Prolog
newline() - Method in class ClientHttpRequest.ClientHttpRequest
newline() - Method in class com.articulate.sigma.ClientHttpRequest
newLine(String) - Method in class com.articulate.sigma.nlp.TFIDF
Newline - Static variable in class com.articulate.sigma.semRewrite.Lexer
newline() - Method in class TPTPWorld.ClientHttpRequest
newMgr(String) - Static method in class com.articulate.sigma.KBmanager: Reset the one instance of KBmanager from its class variable.
newTree(String) - Static method in class com.articulate.sigma.TaxoModel: Remove the old tree and start over from termName.
next() - Method in class com.articulate.sigma.semRewrite.Lexer
next - Variable in class TPTPWorld.Binding
next_solution(qid_t) - Static method in class jpl.fli.Prolog
nextElement() - Method in class jpl.Query: This method is completes the java.util.Enumeration interface.
nextSolution() - Method in class jpl.Query: This method returns a java.util.Hashtable, which represents a substitution of Terms for Variables in the Term list in this Query.
nextSubstitution() - Method in class jpl.Query: Deprecated.
Substitution too hard to spell; use *Solution* instead.
nextToken() - Method in class com.articulate.sigma.StreamTokenizer_s: Parses the next token from the input stream of this tokenizer.
nextToken() - Method in class tptp_parser.TptpLexer
nextUnfiltered() - Method in class com.articulate.sigma.semRewrite.Lexer
nID - Variable in class com.articulate.sigma.Hotel
NIL - Static variable in class jpl.List
Nil() - Constructor for class jpl.List.Nil
nil_terminated() - Method in class jpl.List
NLGStringUtils - Class in com.articulate.sigma.nlg: String utilities related to NLG.
NLGStringUtils() - Constructor for class com.articulate.sigma.nlg.NLGStringUtils
NLGUtils - Class in com.articulate.sigma.nlg: Utilities and variables used by LanguageFormatter and other NLG classes.
NLGUtils() - Constructor for class com.articulate.sigma.nlg.NLGUtils
NO_MUTATION - Static variable in class com.articulate.sigma.nlp.pipeline.SentenceBuilder
NO_OPTIONS - Static variable in class com.articulate.sigma.Base64: No options specified.
Node() - Constructor for class com.articulate.sigma.DependencyConverter.Node
Node - Class in com.articulate.sigma.semRewrite
Node() - Constructor for class com.articulate.sigma.semRewrite.Node
nodeMap - Static variable in class com.articulate.sigma.TaxoModel
nodes - Variable in class com.articulate.sigma.DependencyConverter.Node
nodes - Variable in class com.articulate.sigma.semRewrite.Graph
nonMatchingTaxonomy(String, String) - Static method in class com.articulate.sigma.WNdiagnostics
nonMatchingTaxonomy(String, String) - Static method in class com.articulate.sigma.wordNet.WNdiagnostics
nonRelationTermsWithoutSynsets() - Static method in class com.articulate.sigma.WNdiagnostics
nonRelationTermsWithoutSynsets() - Static method in class com.articulate.sigma.wordNet.WNdiagnostics
NORMAL_PARSE_MODE - Static variable in class com.articulate.sigma.KIF: A numeric constant denoting normal parse mode, in which syntax constraints are enforced.
normalize(String) - Static method in class com.articulate.sigma.Mapping: Normalize a string by replacing all non-letter, non-digit characters with spaces, adding spaces on capitalization boundaries, and then converting to lower case
normalizeProofStepNumbers(ArrayList<ProofStep>) - Static method in class com.articulate.sigma.ProofStep: Take an ArrayList of ProofSteps and renumber them consecutively starting at 1.
normalizeSentiment(String) - Static method in class com.articulate.sigma.Hotel
normalizeSpaceChars(String) - Static method in class com.articulate.sigma.StringUtil
normalizeVariables(String) - Static method in class com.articulate.sigma.Clausifier: Returns a String in which all variables and row variables have been normalized -- renamed, in depth-first order of occurrence, starting from index 1 -- to support comparison of Formulae for equality.
normalizeVariables(String, boolean) - Static method in class com.articulate.sigma.Clausifier: Returns a String in which all variables and row variables have been normalized -- renamed, in depth-first order of occurrence, starting from index 1 -- to support comparison of Formulae for equality.
normalizeVariables_1(String, int[], Map, boolean) - Static method in class com.articulate.sigma.Clausifier: An internal helper method for normalizeVariables(String input).
NOT - Static variable in class com.articulate.sigma.Formula
NOT_AND - Static variable in interface tptp_parser.TptpTokenTypes
NOT_OR - Static variable in interface tptp_parser.TptpTokenTypes
NOTEQUAL - Static variable in interface tptp_parser.TptpTokenTypes
NoToken - Static variable in class com.articulate.sigma.semRewrite.Lexer
Noun - Class in com.articulate.sigma.nlg: Provides functionality related to nouns and NLG.
Noun() - Constructor for class com.articulate.sigma.nlg.Noun
NOUN - Static variable in class com.articulate.sigma.WordNet
nounDocumentationHash - Variable in class com.articulate.sigma.WordNet
nounRootForm(String, String) - Method in class com.articulate.sigma.WordNet: Return the root form of the noun, or null if it's not in the lexicon.
NounSubstitutor - Class in com.articulate.sigma.semRewrite.substitutor
NounSubstitutor(List<CoreLabel>) - Constructor for class com.articulate.sigma.semRewrite.substitutor.NounSubstitutor
nounSUMOHash - Variable in class com.articulate.sigma.WordNet
nounSynsetFromTermFormat(String, String, KB) - Method in class com.articulate.sigma.WordNet: Generate a new noun synset from a termFormat
nounSynsetHash - Variable in class com.articulate.sigma.WordNet
nounTags - Static variable in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
now(String) - Static method in class edu.dlsu.SUMOs.util.DateUtils
NULL_PARSER - Static variable in class com.articulate.sigma.semRewrite.EntityTypeParser
NULL_TREE_LOOKAHEAD - Static variable in interface tptp_parser.TptpTokenTypes
numAnswers() - Method in class com.articulate.sigma.ProofProcessor: Return the number of answers contained in this proof.
number - Variable in class com.articulate.sigma.ProofStep: The number assigned to this proof step, initially by EProver and then normalized by ProofStep.normalizeProofStepNumbers()
Number - Static variable in class com.articulate.sigma.semRewrite.Lexer
number(TptpParserOutput) - Method in class tptp_parser.TptpParser
NUMBER_PLURAL - Static variable in class com.articulate.sigma.nlp.constants.LangLib
NUMBER_SINGULAR - Static variable in class com.articulate.sigma.nlp.constants.LangLib
numerator - Variable in class com.articulate.delphi.Distribution
numericValues - Variable in class com.articulate.sigma.nlp.NaiveBayes
numSynsets(char) - Static method in class com.articulate.sigma.WordNetUtilities
nval - Variable in class com.articulate.sigma.StreamTokenizer_s: If the current token is a number, this field contains the value of that number.

O

odd(int) - Static method in class com.articulate.delphi.Delphi
of(ClauseSubstitutor...) - Static method in class com.articulate.sigma.semRewrite.substitutor.SubstitutorsUnion
oID - Variable in class com.articulate.sigma.Hotel
oMerchant - Variable in class com.articulate.sigma.Hotel
OMW - Variable in class com.articulate.sigma.WordNet: A HashMap with language name keys and HashMap values.
OMWordnet - Class in com.articulate.sigma
OMWordnet() - Constructor for class com.articulate.sigma.OMWordnet
ONE_LINE_COMMENT - Static variable in interface tptp_parser.TptpTokenTypes
oneChild - Variable in class com.articulate.sigma.TaxoNode
oneHotelAmenitySentiment(Hotel) - Static method in class com.articulate.sigma.Hotel: Compute concept sentiment and store as a side effect.
oneSolution() - Method in class jpl.Query
ontology - Variable in class com.articulate.sigma.DocGen: The ontology associated with this DocGen object, and for which the DocGen object is used to generate files.
open_foreign_frame() - Static method in class jpl.fli.Prolog
open_query(module_t, int, predicate_t, term_t) - Static method in class jpl.fli.Prolog
OpenBracket - Static variable in class com.articulate.sigma.semRewrite.Lexer
OpenPar - Static variable in class com.articulate.sigma.semRewrite.Lexer
operator - Variable in class com.articulate.sigma.semRewrite.LHS
operator - Variable in class com.articulate.sigma.semRewrite.Rule
optArgGet() - Method in class com.articulate.sigma.nlp.GetOpt
optEOF - Static variable in class com.articulate.sigma.nlp.GetOpt
optErr - Variable in class com.articulate.sigma.nlp.GetOpt
OptImplies - Static variable in class com.articulate.sigma.semRewrite.Lexer
optIndexGet() - Method in class com.articulate.sigma.nlp.GetOpt
optional_info(TptpParserOutput) - Method in class tptp_parser.TptpParser
OR - Static variable in class com.articulate.sigma.Formula
Or - Static variable in class com.articulate.sigma.semRewrite.Lexer
ORDERED - Static variable in class com.articulate.sigma.Base64: Encode using the special "ordered" dialect of Base64 described here: http://www.faqs.org/qa/rfcc-1940.html.
OrderedFormulae() - Constructor for class com.articulate.sigma.SUMOKBtoTPTPKB.OrderedFormulae
ordinaryChar(int) - Method in class com.articulate.sigma.StreamTokenizer_s: Specifies that the character argument is "ordinary" in this tokenizer.
ordinaryChars(int, int) - Method in class com.articulate.sigma.StreamTokenizer_s: Specifies that all characters c in the range low <= c <= high are "ordinary" in this tokenizer.
ot - Static variable in class com.articulate.sigma.OWLtranslator
outlier - Variable in class com.articulate.delphi.Cell: Whether the cell value is an outlier compared to the group.
output - Static variable in class com.articulate.sigma.DependencyConverter
outputDirectoryPath - Variable in class com.articulate.sigma.DocGen: The canonical pathname of the current directory in which output files will be (are being) saved.
outputParentDir - Variable in class com.articulate.sigma.DocGen: The parent directory for target subdirectories of HTML, XSD, and other types of files generated by this DocGen object.
OutputStream(OutputStream) - Constructor for class com.articulate.sigma.Base64.OutputStream: Constructs a Base64.OutputStream in ENCODE mode.
OutputStream(OutputStream, int) - Constructor for class com.articulate.sigma.Base64.OutputStream: Constructs a Base64.OutputStream in either ENCODE or DECODE mode.
outsideInterquartile(ArrayList, int) - Static method in class com.articulate.delphi.Delphi: Determine whether an int is outside the interquartile range of a distribution of int(s).
OWLtranslator - Class in com.articulate.sigma: Read and write OWL format from Sigma data structures.
OWLtranslator() - Constructor for class com.articulate.sigma.OWLtranslator

P

page(String, int, String, String, String) - Method in class com.articulate.sigma.WordNet: This is the regular point of entry for this class.
Pair - Class in com.articulate.delphi
Pair() - Constructor for class com.articulate.delphi.Pair
Pair(F, S) - Constructor for class com.articulate.sigma.semRewrite.CommonCNFUtil.Pair
Pair(Term, Term) - Constructor for class jpl.Tuple.Pair
parent - Variable in class TPTPWorld.TPTPFormula
parent_details(TptpParserOutput) - Method in class tptp_parser.TptpParser
parent_info(TptpParserOutput) - Method in class tptp_parser.TptpParser
parent_list(TptpParserOutput) - Method in class tptp_parser.TptpParser
ParentInfo(TptpParserOutput.Source, TptpParserOutput.GeneralTerm) - Constructor for class tptp_parser.SimpleTptpParserOutput.ParentInfo
parents - Variable in class com.articulate.sigma.KBcache: All the cached "parent" relations of all transitive relations meaning the relations between all first arguments and the transitive closure of second arguments.
parents - Variable in class com.articulate.sigma.TaxoNode
parse(Reader) - Method in class com.articulate.sigma.KIF: This method has the side effect of setting the contents of formulaMap and formulas as it parses the file.
parse(Lexer, int) - Static method in class com.articulate.sigma.semRewrite.LHS
parse(Lexer, int) - Static method in class com.articulate.sigma.semRewrite.Literal
parse(Lexer, int) - Static method in class com.articulate.sigma.semRewrite.RHS: The predicate must already have been read
parse(Lexer) - Static method in class com.articulate.sigma.semRewrite.Rule: We won't know whether it's a fact or a rule until we read the first token, so the first token for LHS will always be already in st.sval
parse(Lexer) - Method in class com.articulate.sigma.semRewrite.RuleSet
parse(Reader) - Method in class com.articulate.sigma.SimpleDOMParser
parse(BufferedReader) - Static method in class TPTPWorld.TPTPParser
parseAllHotelReviewFiles(String) - Static method in class com.articulate.sigma.Hotel: Read hotel review files
parseAllTHotelReviewFiles(String) - Static method in class com.articulate.sigma.Hotel: Read hotel review files
parseAnswerTuples(String, KB, FormulaPreprocessor) - Static method in class com.articulate.sigma.TPTP3ProofProcessor: Return a list of answers if E finds bindings for wh- queries.
parseCuisines(String, String, String) - Static method in class com.articulate.sigma.DB
parseHTMLAddress(Hotel, String) - Static method in class com.articulate.sigma.Hotel: Set address fields in the hotel as a side effect.
parseInferenceObject(String) - Method in class com.articulate.sigma.TPTP3ProofProcessor
parseJSONElement(String, int, Hotel.JSONElement) - Static method in class com.articulate.sigma.Hotel: This routine adds elements to the parameter
parseJSONPair(String, int, Hotel.JSONElement) - Static method in class com.articulate.sigma.Hotel: This routine adds keys and values to the parameter.
parseNumbers() - Method in class com.articulate.sigma.StreamTokenizer_s: Specifies that numbers should be parsed by this tokenizer.
parseOneHotelPreviewFile(String) - Static method in class com.articulate.sigma.Hotel
parseOneHotelReviewFile(String) - Static method in class com.articulate.sigma.Hotel
parseOneJSONReviewFile(String) - Static method in class com.articulate.sigma.Hotel
parseOneRestFile(String) - Static method in class com.articulate.sigma.DB: A test method.
parseOneTHotelReviewFile(String) - Static method in class com.articulate.sigma.Hotel
parseProofOutput(LineNumberReader, KB) - Static method in class com.articulate.sigma.TPTP3ProofProcessor: Compute bindings and proof from E's response
parseProofOutput(ArrayList<String>, KB) - Static method in class com.articulate.sigma.TPTP3ProofProcessor: Compute binding and proof from E's response
parseProofOutput(String, KB) - Static method in class com.articulate.sigma.TPTP3ProofProcessor
parseProofStep(String) - Method in class com.articulate.sigma.TPTP3ProofProcessor: Parse a step like the following into its constituents fof(c_0_5, axiom, (s__subclass(s__Artifact,s__Object)), c_0_3).
parseRest(String, String, String, String, String, String, String) - Static method in class com.articulate.sigma.DB
parseSimple(Lexer) - Static method in class com.articulate.sigma.semRewrite.CNF: Only positive clauses, no disjuncts, which is the output format of the Stanford Dependency Parser
parseStatement(String) - Method in class com.articulate.sigma.KIF: Parse a single formula.
parseString(String) - Static method in class com.articulate.sigma.semRewrite.Rule
parseSupports(String) - Method in class com.articulate.sigma.TPTP3ProofProcessor: Parse support / proof statements in E's response
parseXml(String) - Static method in class edu.dlsu.SUMOs.main.XmlParser
Password - package Password
password - Variable in class com.articulate.delphi.User: Encrypted password
Password - Class in Password: Password is a class to implement password encryption as used on Unix systems.
Password() - Constructor for class Password.Password
PasswordService - Class in com.articulate.delphi: A class that encrypts a string and checks it against another stored encrypted string, in order to validate a user login.
PasswordService() - Constructor for class com.articulate.delphi.PasswordService: Create an instance of PasswordService
PasswordService - Class in com.articulate.sigma: A class that encrypts a string and checks it against another stored encrypted string, in order to validate a user login.
performConsistencyCheck(KB, String, String, String, String, int) - Method in class com.articulate.sigma.CCheckManager: Main code that performs the consistency check on the KB.
performSelection(String) - Method in class com.articulate.sigma.SInE: Performs axiom selection for given query.
PictureEditor - Class in edu.dlsu.SUMOs.main
PictureEditor(Input) - Constructor for class edu.dlsu.SUMOs.main.PictureEditor
Pipeline - Class in com.articulate.sigma.nlp.pipeline
Pipeline() - Constructor for class com.articulate.sigma.nlp.pipeline.Pipeline
Pipeline(boolean) - Constructor for class com.articulate.sigma.nlp.pipeline.Pipeline
plain_term(TptpParserOutput) - Method in class tptp_parser.TptpParser
plistMatch(List<String>, String) - Static method in class com.articulate.sigma.SetUtil: Returns the first String value indexed by a String regex matching key in the property list plist, else returns an empty String if no regex in plist matches key.
Plus - Static variable in class com.articulate.sigma.semRewrite.Lexer
PLUS - Static variable in interface tptp_parser.TptpTokenTypes
PLUSFN - Static variable in class com.articulate.sigma.Formula
PLUSPLUS - Static variable in interface tptp_parser.TptpTokenTypes
POINTER - Static variable in class jpl.fli.Prolog
PointerHolder - Class in jpl.fli: A PointerHolder is a trivial extension of a LongHolder.
PointerHolder() - Constructor for class jpl.fli.PointerHolder
pop(StackElement) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Pop the top element of the stack if it is inElement.
populateParserInfo(String) - Method in class com.articulate.sigma.semRewrite.datesandnumber.StanfordDateTimeExtractor: Calls the stanford parser and extracts the necessary information about the words in the string and stores them in Token object for further usage.
populateRootWord(int) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Utilities
pos - Variable in class com.articulate.sigma.semRewrite.Lexer
POS_CC - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_CD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_DT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_EX - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_FW - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_IN - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_JJ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_JJR - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_JJS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_LS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_MD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_NN - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_NNP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_NNPS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_NNS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_PDT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_POS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_PRP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_PRPS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_RB - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_RBR - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_RBS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_RP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_SYM - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_TO - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_UH - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_VB - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_VBD - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_VBG - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_VBN - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_VBP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_VBZ - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_WDT - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_WP - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_WPS - Static variable in class com.articulate.sigma.nlp.constants.LangLib
POS_WRB - Static variable in class com.articulate.sigma.nlp.constants.LangLib
position - Variable in class com.articulate.sigma.nlg.SVOElement
posLettersToNumber(String) - Static method in class com.articulate.sigma.WordNetUtilities: Convert a part of speech number to the two letter format used by the WordNet sense index code.
posLetterToNumber(char) - Static method in class com.articulate.sigma.WordNetUtilities
posNumberToLetter(char) - Static method in class com.articulate.sigma.WordNetUtilities
posNumberToLetters(String) - Static method in class com.articulate.sigma.WordNetUtilities: Convert a part of speech number to the two letter format used by the WordNet sense index code.
post() - Method in class ClientHttpRequest.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added
post(Map) - Method in class ClientHttpRequest.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with parameters that are passed in the argument
post(Object[]) - Method in class ClientHttpRequest.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with parameters that are passed in the argument
post(Map<String, String>, Map) - Method in class ClientHttpRequest.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with cookies and parameters that are passed in the arguments
post(String[], Object[]) - Method in class ClientHttpRequest.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with cookies and parameters that are passed in the arguments
post(String, Object) - Method in class ClientHttpRequest.ClientHttpRequest: post the POST request to the server, with the specified parameter
post(String, Object, String, Object) - Method in class ClientHttpRequest.ClientHttpRequest: post the POST request to the server, with the specified parameters
post(String, Object, String, Object, String, Object) - Method in class ClientHttpRequest.ClientHttpRequest: post the POST request to the server, with the specified parameters
post(String, Object, String, Object, String, Object, String, Object) - Method in class ClientHttpRequest.ClientHttpRequest: post the POST request to the server, with the specified parameters
post(URL, Map) - Static method in class ClientHttpRequest.ClientHttpRequest: posts a new request to specified URL, with parameters that are passed in the argument
post(URL, Object[]) - Static method in class ClientHttpRequest.ClientHttpRequest: posts a new request to specified URL, with parameters that are passed in the argument
post(URL, Map<String, String>, Map) - Static method in class ClientHttpRequest.ClientHttpRequest: posts a new request to specified URL, with cookies and parameters that are passed in the argument
post(URL, String[], Object[]) - Static method in class ClientHttpRequest.ClientHttpRequest: posts a new request to specified URL, with cookies and parameters that are passed in the argument
post(URL, String, Object) - Static method in class ClientHttpRequest.ClientHttpRequest: post the POST request specified URL, with the specified parameter
post(URL, String, Object, String, Object) - Static method in class ClientHttpRequest.ClientHttpRequest: post the POST request to specified URL, with the specified parameters
post(URL, String, Object, String, Object, String, Object) - Static method in class ClientHttpRequest.ClientHttpRequest: post the POST request to specified URL, with the specified parameters
post(URL, String, Object, String, Object, String, Object, String, Object) - Static method in class ClientHttpRequest.ClientHttpRequest: post the POST request to specified URL, with the specified parameters
post() - Method in class com.articulate.sigma.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added
post(Map) - Method in class com.articulate.sigma.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with parameters that are passed in the argument
post(Object[]) - Method in class com.articulate.sigma.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with parameters that are passed in the argument
post(Map<String, String>, Map) - Method in class com.articulate.sigma.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with cookies and parameters that are passed in the arguments
post(String[], Object[]) - Method in class com.articulate.sigma.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with cookies and parameters that are passed in the arguments
post(String, Object) - Method in class com.articulate.sigma.ClientHttpRequest: post the POST request to the server, with the specified parameter
post(String, Object, String, Object) - Method in class com.articulate.sigma.ClientHttpRequest: post the POST request to the server, with the specified parameters
post(String, Object, String, Object, String, Object) - Method in class com.articulate.sigma.ClientHttpRequest: post the POST request to the server, with the specified parameters
post(String, Object, String, Object, String, Object, String, Object) - Method in class com.articulate.sigma.ClientHttpRequest: post the POST request to the server, with the specified parameters
post(URL, Map) - Static method in class com.articulate.sigma.ClientHttpRequest: posts a new request to specified URL, with parameters that are passed in the argument
post(URL, Object[]) - Static method in class com.articulate.sigma.ClientHttpRequest: posts a new request to specified URL, with parameters that are passed in the argument
post(URL, Map<String, String>, Map) - Static method in class com.articulate.sigma.ClientHttpRequest: posts a new request to specified URL, with cookies and parameters that are passed in the argument
post(URL, String[], Object[]) - Static method in class com.articulate.sigma.ClientHttpRequest: posts a new request to specified URL, with cookies and parameters that are passed in the argument
post(URL, String, Object) - Static method in class com.articulate.sigma.ClientHttpRequest: post the POST request specified URL, with the specified parameter
post(URL, String, Object, String, Object) - Static method in class com.articulate.sigma.ClientHttpRequest: post the POST request to specified URL, with the specified parameters
post(URL, String, Object, String, Object, String, Object) - Static method in class com.articulate.sigma.ClientHttpRequest: post the POST request to specified URL, with the specified parameters
post(URL, String, Object, String, Object, String, Object, String, Object) - Static method in class com.articulate.sigma.ClientHttpRequest: post the POST request to specified URL, with the specified parameters
post() - Method in class TPTPWorld.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added
post(Map) - Method in class TPTPWorld.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with parameters that are passed in the argument
post(Object[]) - Method in class TPTPWorld.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with parameters that are passed in the argument
post(Map<String, String>, Map) - Method in class TPTPWorld.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with cookies and parameters that are passed in the arguments
post(String[], Object[]) - Method in class TPTPWorld.ClientHttpRequest: posts the requests to the server, with all the cookies and parameters that were added before (if any), and with cookies and parameters that are passed in the arguments
post(String, Object) - Method in class TPTPWorld.ClientHttpRequest: post the POST request to the server, with the specified parameter
post(String, Object, String, Object) - Method in class TPTPWorld.ClientHttpRequest: post the POST request to the server, with the specified parameters
post(String, Object, String, Object, String, Object) - Method in class TPTPWorld.ClientHttpRequest: post the POST request to the server, with the specified parameters
post(String, Object, String, Object, String, Object, String, Object) - Method in class TPTPWorld.ClientHttpRequest: post the POST request to the server, with the specified parameters
post(URL, Map) - Static method in class TPTPWorld.ClientHttpRequest: posts a new request to specified URL, with parameters that are passed in the argument
post(URL, Object[]) - Static method in class TPTPWorld.ClientHttpRequest: posts a new request to specified URL, with parameters that are passed in the argument
post(URL, Map<String, String>, Map) - Static method in class TPTPWorld.ClientHttpRequest: posts a new request to specified URL, with cookies and parameters that are passed in the argument
post(URL, String[], Object[]) - Static method in class TPTPWorld.ClientHttpRequest: posts a new request to specified URL, with cookies and parameters that are passed in the argument
post(URL, String, Object) - Static method in class TPTPWorld.ClientHttpRequest: post the POST request specified URL, with the specified parameter
post(URL, String, Object, String, Object) - Static method in class TPTPWorld.ClientHttpRequest: post the POST request to specified URL, with the specified parameters
post(URL, String, Object, String, Object, String, Object) - Static method in class TPTPWorld.ClientHttpRequest: post the POST request to specified URL, with the specified parameters
post(URL, String, Object, String, Object, String, Object, String, Object) - Static method in class TPTPWorld.ClientHttpRequest: post the POST request to specified URL, with the specified parameters
postCode - Variable in class com.articulate.sigma.Hotel
postProcess(String) - Static method in class com.articulate.sigma.Formula: Remove the 'holds' prefix wherever it appears.
postProcess(String) - Static method in class com.articulate.sigma.semRewrite.Interpreter
PRE_COMMAND_TAG - Static variable in class TPTPWorld.SystemInfoParser
preCommand - Variable in class TPTPWorld.ATPSystem
pred - Variable in class com.articulate.sigma.semRewrite.Literal
pred(functor_t, module_t) - Static method in class jpl.fli.Prolog
predicate(String, int, String) - Static method in class jpl.fli.Prolog
predicate_info(predicate_t, atom_t, IntHolder, module_t) - Static method in class jpl.fli.Prolog
predicate_ld - Static variable in class TPTPWorld.LooksDifferent
predicate_t - Class in jpl.fli: A predicate_t is a PointerHolder class whose value is a reference to a Prolog predicate_t.
predicate_t() - Constructor for class jpl.fli.predicate_t
PredVarInst - Class in com.articulate.sigma
PredVarInst() - Constructor for class com.articulate.sigma.PredVarInst
premises - Variable in class com.articulate.sigma.ProofStep: An ArrayList of Integer(s), which reference prior proof steps from which this axiom is derived.
prepare(List<String>, String) - Method in class com.articulate.sigma.nlp.TFIDF
prepareLine(String) - Method in class com.articulate.sigma.nlp.TFIDF
Preposition - Class in com.articulate.sigma.nlg: Handles preposition behavior for case roles.
Preposition() - Constructor for class com.articulate.sigma.nlg.Preposition
preProcess(Formula, boolean, KB) - Method in class com.articulate.sigma.FormulaPreprocessor: Pre-process a formula before sending it to the theorem prover.
preProcess(HashSet<String>) - Method in class com.articulate.sigma.KB: Preprocess the knowledge base to TPTP.
preProcessQuestionWords(List<String>) - Method in class com.articulate.sigma.semRewrite.Clause
preProcessQuestionWords(List<String>) - Method in class com.articulate.sigma.semRewrite.CNF
preProcessQuestionWords(CNF) - Static method in class com.articulate.sigma.semRewrite.Interpreter
preProcessQuestionWords(List<String>) - Method in class com.articulate.sigma.semRewrite.Literal: If the tokens in the literal are derived from words parsed from the Stanford dependency parser, and therefore in the form word-xx, where xx are digits, prepend a '?' to signify that it's a variable.
PresentationNameComparator() - Constructor for class com.articulate.sigma.DocGen.PresentationNameComparator
preserve - Variable in class com.articulate.sigma.semRewrite.Literal
print() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
printAllHotelAmenitySentiment(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel
printAllHotels(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel
printAnswers() - Method in class com.articulate.sigma.TPTP3ProofProcessor: Print out E's bindings
printCorefChain(Annotation) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil: Print the coreference link graph Each chain stores a set of mentions that link to each other, along with a method for getting the most representative mention Both sentence and token offsets start at 1!
printHTMLPages(TreeMap, String) - Method in class com.articulate.sigma.DocGen: Save pages below the KBs directory in a directory called HTML.
printInstances(KB, String) - Static method in class com.articulate.sigma.EditGUI: Get and print all instances of a class
printKB(ArrayList<CNF>) - Method in class com.articulate.sigma.semRewrite.Interpreter
printRecommendations() - Method in class com.articulate.delphi.Table
printSentences(Annotation) - Static method in class com.articulate.sigma.nlp.pipeline.SentenceUtil: Print all the sentences in this document CoreMap is essentially a Map that uses class objects as keys and has values with custom types
printSolution(Hashtable) - Static method in class jpl.Query: Deprecated.
use Util.toString instead.
printSpreadsheet(TreeMap, ArrayList) - Method in class com.articulate.sigma.DB: Print a comma-delimited matrix.
printStatistics() - Static method in class com.articulate.sigma.WordNetUtilities
printSubstitution(Hashtable) - Static method in class jpl.Query: Deprecated.
use Util.toString instead.
printSystems(String) - Static method in class TPTPWorld.SystemOnTPTP
printSZS(TPTPFormula, ArrayList<Binding>) - Static method in class TPTPWorld.AnswerExtractor
printTermDependency(KB, String) - Static method in class com.articulate.sigma.Diagnostics: Show file dependencies.
printTopSUMOInReviews(ArrayList<AVPair>) - Static method in class com.articulate.sigma.DB
printTPTPDataInCSV(HashMap) - Method in class com.articulate.sigma.DB: Print statistics in a summary form for TPTP test run data
printVariableArityRelationContent(PrintWriter, TreeMap<String, String>, String, int, boolean) - Method in class com.articulate.sigma.SUMOKBtoTPTPKB
priorCounts - Variable in class com.articulate.sigma.nlp.NaiveBayes
priors - Variable in class com.articulate.sigma.nlp.NaiveBayes
probDensFunc(float, float, float) - Static method in class com.articulate.sigma.nlp.NaiveBayes: Compute P(x|y) given the mean, sample standard deviation and x
probDensFunc(String, String, float) - Method in class com.articulate.sigma.nlp.NaiveBayes: Compute P(x|y) given the mean, sample standard deviation and x
Procedures - Class in com.articulate.sigma.semRewrite
Procedures() - Constructor for class com.articulate.sigma.semRewrite.Procedures
processAnswers(String) - Method in class com.articulate.sigma.TPTP3ProofProcessor: Return bindings from E's answer tuples
processArg(String, int) - Method in class com.articulate.sigma.nlp.GetOpt
processArg(String, long) - Method in class com.articulate.sigma.nlp.GetOpt
processArg(String, double) - Method in class com.articulate.sigma.nlp.GetOpt
processArg(String, float) - Method in class com.articulate.sigma.nlp.GetOpt
processArg(String, boolean) - Method in class com.articulate.sigma.nlp.GetOpt
processDateToken(Tokens, Utilities, List<Tokens>, Tokens) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
processDependency(DependencyConverter.Node) - Static method in class com.articulate.sigma.DependencyConverter: Process one grammatical dependency statements from the Stanford parser into a logical expression using SUMO terms.
processDocString(KB, String, String, String, boolean, boolean) - Method in class com.articulate.sigma.DocGen
processDuration(Tokens, Utilities, Tokens) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
processExtraction(ArrayList<String>) - Static method in class com.articulate.sigma.NER
processFormalLanguage(String) - Static method in class com.articulate.sigma.HTMLformatter
processMissingLinks(String, String, String) - Static method in class com.articulate.sigma.WordNetUtilities: This is a utility routine that should not be called during normal Sigma operation.
processNaturalLanguage(String, KB) - Static method in class com.articulate.sigma.HTMLformatter
processNounLine(String) - Method in class com.articulate.sigma.WordNet
processOneOXMLHotel(Element) - Static method in class com.articulate.sigma.Hotel
processOneXMLHotel(Element) - Static method in class com.articulate.sigma.Hotel
processPhrasalVerbs(List<String>) - Static method in class com.articulate.sigma.semRewrite.Interpreter: Combine phrasal verbs in dependency parsing results.
processPrologString(String) - Method in class com.articulate.sigma.WordNet: Double any single quotes that appear.
processTimeDate(String) - Static method in class com.articulate.sigma.DB
processTPTPData() - Method in class com.articulate.sigma.DB: Read statistics for TPTP test run data
processUnhandledDuration(Utilities) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DatesAndDuration
processWordIndexes() - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo
ProgressPrinter - Class in com.articulate.sigma.utils
ProgressPrinter(int) - Constructor for class com.articulate.sigma.utils.ProgressPrinter
Project - Class in com.articulate.delphi: A class that encrypts a string and checks it against another stored encrypted string, in order to validate a user login.
Project() - Constructor for class com.articulate.delphi.Project
projects - Variable in class com.articulate.delphi.Delphi: Relates String keys to Project values
projects - Variable in class com.articulate.delphi.User: An ArrayList of String keys consisting of unique project names.
Prolog - Class in com.articulate.sigma
Prolog() - Constructor for class com.articulate.sigma.Prolog
Prolog - Class in jpl.fli: This class consists only of constants (static finals) and static native methods.
Prolog() - Constructor for class jpl.fli.Prolog
PrologException - Exception in jpl: An exception of this type is thrown if, in evaluating a Query, an exception is thrown in Prolog via the Prolog throw/1 predicate.
PrologException(Term) - Constructor for exception jpl.PrologException
proof - Variable in class com.articulate.sigma.TPTP3ProofProcessor
proofExists(String) - Static method in class TPTPWorld.SystemOnTPTP
ProofProcessor - Class in com.articulate.sigma: Process results from the inference engine.
ProofProcessor(ArrayList<BasicXMLelement>) - Constructor for class com.articulate.sigma.ProofProcessor: Take an ArrayList of BasicXMLelement (s) and process them as needed
ProofStep - Class in com.articulate.sigma: A trivial structure to hold the elements of a proof step.
ProofStep() - Constructor for class com.articulate.sigma.ProofStep
ProofSummary - Class in TPTPWorld
ProofSummary() - Constructor for class TPTPWorld.ProofSummary
proofTableFormat(String, ProofStep, String, String) - Static method in class com.articulate.sigma.HTMLformatter: Create the HTML for a single step in a proof.
pushBack() - Method in class com.articulate.sigma.StreamTokenizer_s: Causes the next call to the nextToken method of this tokenizer to return the current value in the ttype field, and not to modify the value in the nval or sval field.
pushCurrSumoProcessDown() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Push the current element's sumoProcessMap down into the previous element.
pushCurrTranslatedStateDown(String) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: If the top stack element has been translated, then find the given arg in the previous stack element and mark the corresponding formula argument as translated.
pushNew() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Push a new element onto the stack.
pushTranslationDownToNotLevel(String) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Handle pushing the translation down into the stack for "not" clauses.
put(Hashtable, term_t) - Method in class jpl.Atom: To put an Atom in a term, we put an atom_t into the term_t.
put(Hashtable, term_t) - Method in class jpl.Compound: To put an Compound in a term, we create a sequence of term_t references from the Term terms_to_term_t method, and then use the Prolog cons_functor_v method to create a Prolog compound.
put(Hashtable, term_t) - Method in class jpl.Float_JPL: To put an Float in a term, we put the value field into the term_t as a floet.
put(Hashtable, term_t) - Method in class jpl.Integer_JPL: To put an Integer in a term, we put an integer.
put(Hashtable, term_t) - Method in class jpl.Long_JPL: To put an Long in a term, we put an integer.
put(Hashtable, term_t) - Method in class jpl.String_JPL: To put an String in a term, we put the characters of the String into the term_t.
put(Hashtable, term_t) - Method in class jpl.Term: Cache the reference to the Prolog term_t here.
put(Hashtable, term_t) - Method in class jpl.Variable: To put a Variable, we want to be careful that the variable does not already occur in the Term.
put_atom(term_t, atom_t) - Static method in class jpl.fli.Prolog
put_atom_chars(term_t, String) - Static method in class jpl.fli.Prolog
put_float(term_t, double) - Static method in class jpl.fli.Prolog
put_functor(term_t, functor_t) - Static method in class jpl.fli.Prolog
put_integer(term_t, long) - Static method in class jpl.fli.Prolog
put_list(term_t) - Static method in class jpl.fli.Prolog
put_list_chars(term_t, String) - Static method in class jpl.fli.Prolog
put_nil(term_t) - Static method in class jpl.fli.Prolog
put_pointer(term_t, PointerHolder) - Static method in class jpl.fli.Prolog
put_string_chars(term_t, String) - Static method in class jpl.fli.Prolog
put_term(term_t, term_t) - Static method in class jpl.fli.Prolog
put_variable(term_t) - Static method in class jpl.fli.Prolog
pwd() - Static method in class jpl.SWIUtil

Q

Q_CATCH_EXCEPTION - Static variable in class jpl.fli.Prolog
Q_NODEBUG - Static variable in class jpl.fli.Prolog
Q_NORMAL - Static variable in class jpl.fli.Prolog
Q_PASS_EXCEPTION - Static variable in class jpl.fli.Prolog
QAOutputGenerator - Class in com.articulate.sigma.semRewrite: A class for testing the performance of sigma-based system It will generate CNF and KIF for given sentences and sent them to inference and can also save the output to json file.
QAOutputGenerator() - Constructor for class com.articulate.sigma.semRewrite.QAOutputGenerator
QAOutputGenerator.Record - Class in com.articulate.sigma.semRewrite: class to store output
QAPair(Integer, String, String, String) - Constructor for class com.articulate.sigma.semRewrite.CommonCNFUtil.QAPair
qid_t - Class in jpl.fli: A qid_t holds a reference to a Prolog qid_t.
qid_t() - Constructor for class jpl.fli.qid_t
quant - Static variable in class com.articulate.sigma.semRewrite.Lexer
Quantified(TptpParserOutput.Quantifier, String, TptpParserOutput.FofFormula) - Constructor for class tptp_parser.SimpleTptpParserOutput.Formula.Quantified
quantified_formula(TptpParserOutput) - Method in class tptp_parser.TptpParser
quantifier() - Method in class tptp_parser.TptpParser
quantifierNotInBody(KB) - Static method in class com.articulate.sigma.Diagnostics: Find cases where a variable appears in a quantifier list, but not in the body of the quantified expression.
QUERY - Static variable in class com.articulate.sigma.ProofStep
Query - Class in jpl: A Query is an Object used to query the Prolog engine.
Query(Atom, Term[]) - Constructor for class jpl.Query: This constructor creates a Query object corresponding to a Prolog query.
Query(String, Term[]) - Constructor for class jpl.Query: This constructor is shorthand for
Query(String, Term) - Constructor for class jpl.Query: This constructor is shorthand for
Query(String, Term, Term) - Constructor for class jpl.Query: This constructor is shorthand for
Query(String, Term, Term, Term) - Constructor for class jpl.Query: This constructor is shorthand for
Query(String, Term, Term, Term, Term) - Constructor for class jpl.Query: This constructor is shorthand for
Query(String, Term, Term, Term, Term, Term) - Constructor for class jpl.Query: This constructor is shorthand for
Query(String, Term, Term, Term, Term, Term, Term) - Constructor for class jpl.Query: This constructor is shorthand for
Query(String, Term, Term, Term, Term, Term, Term, Term) - Constructor for class jpl.Query: This constructor is shorthand for
Query(String, Term, Term, Term, Term, Term, Term, Term, Term) - Constructor for class jpl.Query: This constructor is shorthand for
Query(String, Term, Term, Term, Term, Term, Term, Term, Term, Term) - Constructor for class jpl.Query: This constructor is shorthand for
Query(String, Term, Term, Term, Term, Term, Term, Term, Term, Term, Term) - Constructor for class jpl.Query: This constructor is shorthand for
Query(Atom) - Constructor for class jpl.Query: This constructor creates a Prolog query with no arguments (a "proposition" or "sentence").
Query(String) - Constructor for class jpl.Query: This constructor is shorthand for
query() - Method in class jpl.Query
query() - Method in exception jpl.QueryInProgressException
QueryInProgressException - Exception in jpl: An exception of this type is thrown if a Query is made while another Query is in progress, for example, if the JPL programmer has negglected to close a query by exhausting all solutions or by failing to rweind() a Query, or in multi-threaded situations.
QueryInProgressException(Query) - Constructor for exception jpl.QueryInProgressException
queryTPTP(String, int, int, String, String, String, String, String, String) - Static method in class TPTPWorld.InterfaceTPTP
question - Variable in class com.articulate.sigma.semRewrite.Interpreter
quote(String) - Static method in class com.articulate.sigma.StringUtil
quoteChar(int) - Method in class com.articulate.sigma.StreamTokenizer_s: Specifies that matching pairs of this character delimit string constants in this tokenizer.
QuotedString - Static variable in class com.articulate.sigma.semRewrite.Lexer
qwords - Static variable in class com.articulate.sigma.semRewrite.Interpreter

R

R_PREF - Static variable in class com.articulate.sigma.Formula
randomString() - Static method in class ClientHttpRequest.ClientHttpRequest
randomString() - Static method in class com.articulate.sigma.ClientHttpRequest
randomString() - Static method in class TPTPWorld.ClientHttpRequest
RATIONAL - Static variable in interface tptp_parser.TptpTokenTypes
read() - Method in class com.articulate.sigma.Base64.InputStream: Reads enough of the input stream to convert to/from Base64 and returns the next byte.
read(byte[], int, int) - Method in class com.articulate.sigma.Base64.InputStream: Calls Base64.InputStream.read() repeatedly until the end of stream is reached or len bytes are read.
read(String) - Method in class com.articulate.sigma.Formula: Read a String into the variable 'theFormula'.
read(String) - Static method in class com.articulate.sigma.OWLtranslator: Read OWL format.
readAmenities() - Static method in class com.articulate.sigma.DB
readConfiguration(String) - Method in class com.articulate.sigma.KBmanager: Reads an XML configuration file from the directory configDirPath, and tries to find a configuration file elsewhere if configDirPath is null.
readCSVHotels(String) - Static method in class com.articulate.sigma.Hotel
readDataInterchangeFormatFile(Reader) - Static method in class com.articulate.sigma.DB: Parse an input stream Reader from a Data Interchange Format (.dif) file into an ArrayList of ArrayLists.
readDataInterchangeFormatFile(String) - Static method in class com.articulate.sigma.DB: Parse and load a Data Interchange Format (.dif) file into an ArrayList of ArrayLists.
readFile(String) - Method in class com.articulate.sigma.KIF: Read a KIF file.
readFile(String, boolean) - Static method in class com.articulate.sigma.nlp.TFIDFUtil: This method reads in a text file, breaking it into single line documents Currently, sentences are not separated if they occur on the same line.
readFile(String) - Static method in class com.articulate.sigma.semRewrite.RuleSet
readFile(String) - Static method in class com.articulate.sigma.SimpleDOMParser: Read the full path of an XML file and returns the SimpleElement object that corresponds to its parsed format.
readFirstNames() - Static method in class com.articulate.sigma.DependencyConverter: Read the FirstNames.cvs file into maleName and femaleNames
readGraphsFromFile(String, boolean, Pipeline) - Method in class com.articulate.sigma.nlp.SimFlood: Converts a text file that has one sentence per line into a list of Graph structures that correspond to Stanford dependency graphs.
readJSONHotels(String, boolean) - Static method in class com.articulate.sigma.Hotel
readKeywordMap(String) - Static method in class com.articulate.sigma.nlg.NLGUtils: Read a set of standard words and phrases in several languages.
readLines(String, boolean) - Static method in class com.articulate.sigma.nlp.TextFileUtil: ************************************************************** This method reads in a text file, breaking it into single line documents Currently, sentences are not separated if they occur on the same line.
readOMWfiles() - Static method in class com.articulate.sigma.OMWordnet: Assumes a fixed set of files in the KBs directory.
readOXMLhotels(String) - Static method in class com.articulate.sigma.Hotel
readProjects() - Method in class com.articulate.delphi.Delphi
readSenseCount() - Method in class com.articulate.sigma.WordNet: Read word sense frequencies into a HashMap of PriorityQueues containing AVPairs where the value is a word and the attribute (on which PriorityQueue is sorted) is an 8 digit String representation of an integer count.
readSenseIndex() - Method in class com.articulate.sigma.WordNet: Note that WordNet forces all these words to lowercase in the index.xxx files
readSentimentArray() - Static method in class com.articulate.sigma.DB: Fill out from a CSV file a map of word keys, and values broken down by POS, listing whether it's a positive or negative word interior hash map keys are type, POS, stemmed, polarity
readSpreadsheet(Reader, List<String>, boolean, char) - Static method in class com.articulate.sigma.DB: Parse the input from a Reader for a CSV file into an ArrayList of ArrayLists.
readSpreadsheet(String, List, boolean, char) - Static method in class com.articulate.sigma.DB: Parse a CSV file into an ArrayList of ArrayLists.
readSpreadsheet(String, List, boolean) - Static method in class com.articulate.sigma.DB
readSpreadsheetFile(String, char) - Method in class com.articulate.sigma.DocGen
readSpreadsheetFile(String, char, int, List<String>) - Method in class com.articulate.sigma.DocGen: Parses a file of delimited fields into an ArrayList of ArrayLists.
readStateAbbrevs() - Static method in class com.articulate.sigma.DB
readStopConceptArray() - Static method in class com.articulate.sigma.DB: Fill out from a CSV file a set of concepts that should be ignored during content extraction
readStopWords() - Method in class com.articulate.sigma.WordNet
readTestFile(String, String, boolean) - Static method in class com.articulate.sigma.nlp.WNsim: Read a space-delimited file of word pairs and their similarity rating.
readWordCoFrequencies() - Method in class com.articulate.sigma.WordNet: Return a HashMap of HashMaps where the key is a word sense of the form word_POS_num signifying the word, part of speech and number of the sense in WordNet.
ReadWriteTextFile - Class in edu.dlsu.SUMOs.util
ReadWriteTextFile() - Constructor for class edu.dlsu.SUMOs.util.ReadWriteTextFile
readXMLHotels(String) - Static method in class com.articulate.sigma.Hotel: Convert a particular XML markup into an array of hotels
REAL - Static variable in interface tptp_parser.TptpTokenTypes
RearDBtoKIF() - Static method in class com.articulate.sigma.DB
Record(int, String) - Constructor for class com.articulate.sigma.semRewrite.QAOutputGenerator.Record
Refutation(TptpParserOutput.Source) - Constructor for class tptp_parser.SimpleTptpParserOutput.InfoItem.Refutation
relation - Static variable in class com.articulate.sigma.TaxoModel
relations - Variable in class com.articulate.sigma.KBcache: all the relations in the kb
relations - Variable in class com.articulate.sigma.WordNet: Keys are POS-prefixed synsets, values are ArrayList(s) of AVPair(s) in which the attribute is a pointer type according to http://wordnet.princeton.edu/man/wninput.5WN.html#sect3 and the value is a POS-prefixed synset @see WordNetUtilities.convertWordNetPointer
relationsByKB - Variable in class com.articulate.sigma.DocGen: A Map in which each key is a KB name and the corresponding value is a List of the Predicates defined in the KB.
RELAXED_PARSE_MODE - Static variable in class com.articulate.sigma.KIF: A numeric constant denoting relaxed parse mode, in which fewer syntax constraints are enforced than in NORMAL_PARSE_MODE.
reload() - Method in class com.articulate.sigma.KB: Reload all the KB constituents.
remove(String) - Method in class com.articulate.sigma.KBmanager: Remove the KB that has the given name.
removeBound() - Method in class com.articulate.sigma.semRewrite.Clause: If literal is not marked "preserve" then remove it if bound and then reset the preserve flag.
removeBound() - Method in class com.articulate.sigma.semRewrite.CNF
removeByPattern(List, String) - Static method in class com.articulate.sigma.SetUtil: Filters the List of Strings seq, removing all items that match the regular expression pattern regex.
removeCached(ArrayList<Formula>) - Static method in class com.articulate.sigma.TaxoModel: Remove any cached formulas from a list.
removeDuplicates(ArrayList<ProofStep>) - Static method in class com.articulate.sigma.ProofStep: Take an ArrayList of ProofSteps and renumber them consecutively starting at 1.
removeDuplicates(Collection) - Static method in class com.articulate.sigma.SetUtil: Removes duplicates from collection based on its natural comparator or equality operator.
removeEnclosingChar(String, int, char) - Static method in class com.articulate.sigma.StringUtil: Removes n layers of balanced ASCII double-quote characters from each end of the String s, if any are present.
removeEnclosingCharPair(String, int, char, char) - Static method in class com.articulate.sigma.StringUtil: Removes n layers of balanced characters from each end of the String s, if any are present.
removeEnclosingChars(String, int, char) - Static method in class com.articulate.sigma.StringUtil: Removes n layers of balanced characters from each end of the String s, if any are present.
removeEnclosingQuotes(String) - Static method in class com.articulate.sigma.StringUtil: Removes all balanced ASCII double-quote characters from each end of the String s, if any are present.
removeEscapedDoubleQuotes(String) - Static method in class com.articulate.sigma.StringUtil
removeEscapedEscapes(String) - Static method in class com.articulate.sigma.StringUtil
removeHTML(String) - Static method in class com.articulate.sigma.StringUtil: Remove HTML markup from a sentence.
removeInternalDoubleQuotes(String) - Static method in class com.articulate.sigma.StringUtil
removeKB(String) - Method in class com.articulate.sigma.KBmanager: Remove a knowledge base.
removeLinkableNamespacePrefixes(KB, String) - Method in class com.articulate.sigma.DocGen: Removes namespace prefixes from all SUO-KIF terms to be hyperlinked in text.
removeNestedAnswerClause(String) - Static method in class com.articulate.sigma.ProofProcessor: Remove the $answer clause that eProver returns, including any surrounding connective.
removeProject(String) - Method in class com.articulate.sigma.User
removePunctuation(String) - Static method in class com.articulate.sigma.StringUtil: Remove punctuation and contractions from a sentence.
removeQuoteEscapes(String) - Static method in class com.articulate.sigma.StringUtil
removeQuotes(String) - Static method in class com.articulate.sigma.OWLtranslator: Remove quotes around a string
removeStopWords(String) - Method in class com.articulate.sigma.WordNet: Remove stop words from a sentence.
removeSuperClasses(Set<String>) - Method in class com.articulate.sigma.KB: Remove from the given set any item which is a superclass of another item in the set.
removeTermPrefixes(String) - Static method in class com.articulate.sigma.WordNetUtilities
removeUnnecessary(ArrayList<ProofStep>) - Static method in class com.articulate.sigma.ProofStep: created a new by qingqing remove unnecessary steps, which should not appear in proof Unnecessary steps could be: (1) conjectures; (2) Successful resolution theorem proving results in a contradiction;
rename(String, String) - Method in class com.articulate.sigma.Clausifier: Replace term2 with term1
rename(String, String) - Method in class com.articulate.sigma.Formula: Replace term2 with term1
rename(String, String) - Method in class com.articulate.sigma.KB: Rename term2 as term1 throughout the knowledge base.
renameFileIfExists(File) - Static method in class com.articulate.sigma.StringUtil: If the file f already exists, this method returns a new File object with a unique name formed by appending an integer.
renameVariableArityRelations(KB, TreeMap<String, String>) - Method in class com.articulate.sigma.Formula
renameVariables(Formula) - Static method in class com.articulate.sigma.Clausifier: convenience method
renameVariables(Formula, Map, Map, Map) - Static method in class com.articulate.sigma.Clausifier: convenience method
replaceDateTime(String) - Static method in class com.articulate.sigma.StringUtil: If the input String contains the sequence {date}pattern{date}, replaces the first occurrence of this sequence with a UTC date/time string formatted according to pattern.
replaceNonAsciiChars(String) - Static method in class com.articulate.sigma.StringUtil
replaceNonIdChars(String) - Static method in class com.articulate.sigma.StringUtil: Replace any character that isn't a valid KIF identifier character with a lower-case x.
replaceQuantifierVars(String, List<String>) - Method in class com.articulate.sigma.Formula
replaceRepeatedDoubleQuotes(String) - Static method in class com.articulate.sigma.StringUtil
replaceUnsafeNamespaceDelimiters(String) - Static method in class com.articulate.sigma.StringUtil: Replaces non-alphanumeric namespace delimiters in input with an alphanumeric form that can be handled by Vampire and other provers.
replaceVar(String, String) - Method in class com.articulate.sigma.Formula: Replace v with term.
reset() - Method in class tptp_parser.SimpleTptpParserOutput: Reinitialises everything.
reset_term_refs(term_t) - Static method in class jpl.fli.Prolog
resetFlags() - Method in class com.articulate.sigma.semRewrite.datesandnumber.FlagUtilities
resetSyntax() - Method in class com.articulate.sigma.StreamTokenizer_s: Resets this tokenizer's syntax table so that all characters are "ordinary." See the ordinaryChar method for more information on a character being ordinary.
resolveFormatSpecifiers(String, String) - Static method in class com.articulate.sigma.nlg.NLGUtils: Resolve the "format specifiers" in the given printf type of statement.
resortKbTerms(KB) - Method in class com.articulate.sigma.DocGen: Rebuilds the TreeSet containing all terms in kb, and forces the new TreeSet to sort according to each term's presentation name.
resortTPTPData(HashMap) - Method in class com.articulate.sigma.DB: Reorganize statistics in a summary form for TPTP test run data
result - Variable in class com.articulate.sigma.semRewrite.QAOutputGenerator.Record
RESULT - Static variable in class TPTPWorld.SystemOnTPTP
resumeEncoding() - Method in class com.articulate.sigma.Base64.OutputStream: Resumes encoding of the stream.
REswitch(String) - Method in class com.articulate.sigma.KB: REswitch determines if a String is a RegEx or not based on its use of RE metacharacters.
retainByPattern(List, String) - Static method in class com.articulate.sigma.SetUtil: Filters the List of Strings seq, retaining only items that match the regular expression pattern regex.
returnSkolemStmt(String, ArrayList<ProofStep>) - Static method in class com.articulate.sigma.ProofProcessor: Looks for skolem function from proofsteps if query is not given.
REVERSE_IMPLICATION - Static variable in interface tptp_parser.TptpTokenTypes
reverseSenseIndex - Variable in class com.articulate.sigma.WordNet: A HashMap where the keys are 9 digit POS prefixed WordNet synset byte offsets, and the values are of the form word_POS_sensenum (alpha POS like "VB").
reviews - Variable in class com.articulate.sigma.Hotel
rewind() - Method in class jpl.Query: This method is used to rewind the query so that the query may be re-run, even if the Query qua Enumeration has more elements.
RewriteRuleUtil - Class in com.articulate.sigma.semRewrite: A class for intergration of RewriteRule check tools To use: run in bash and follow the instruction
RHS - Class in com.articulate.sigma.semRewrite
RHS() - Constructor for class com.articulate.sigma.semRewrite.RHS
rhs - Variable in class com.articulate.sigma.semRewrite.Rule
rooms - Variable in class com.articulate.sigma.Hotel
rootList - Static variable in class com.articulate.sigma.TaxoModel
rows - Variable in class com.articulate.delphi.Table: A HashMap of HashMap(s), which are the columns.
rows - Variable in class com.articulate.delphi.TableAverage: A HashMap of HashMap(s), which are the columns.
RowVars - Class in com.articulate.sigma
RowVars() - Constructor for class com.articulate.sigma.RowVars
RP - Static variable in class com.articulate.sigma.Formula
RPR - Static variable in interface tptp_parser.TptpTokenTypes
rs - Variable in class com.articulate.sigma.semRewrite.Interpreter
RSB - Static variable in interface tptp_parser.TptpTokenTypes
rtrim(String) - Static method in class TPTPWorld.SystemInfoParser
Rule - Class in com.articulate.sigma.semRewrite: Rule ::= LHS ==> RHS.
Rule() - Constructor for class com.articulate.sigma.semRewrite.Rule
Rule - Class in edu.dlsu.SUMOs.obj
Rule() - Constructor for class edu.dlsu.SUMOs.obj.Rule
Rule.RuleOp - Enum in com.articulate.sigma.semRewrite
rules - Variable in class com.articulate.sigma.semRewrite.RuleSet
RuleSet - Class in com.articulate.sigma.semRewrite
RuleSet() - Constructor for class com.articulate.sigma.semRewrite.RuleSet
run() - Method in class com.articulate.sigma.CCheck
run(int, float[], int) - Static method in class com.articulate.sigma.nlp.KMeans
run(float[][], int) - Static method in class com.articulate.sigma.nlp.KMeansVec
RVAR - Static variable in class com.articulate.sigma.Formula

S

safeToKifNamespaceDelimiters(String) - Static method in class com.articulate.sigma.StringUtil

Replaces all occurrences of the "safe" namespace delimiter in input with the default KIF namespace delimiter, which might contain characters that are not acceptable to some provers.

save() - Method in class com.articulate.delphi.Delphi

saveCNFMaptoFile(List<CommonCNFUtil.QAPair>, String) - Static method in class com.articulate.sigma.semRewrite.CommonCNFUtil

save the intermediate parsing result to JSON file

saveIndexPages(KB, TreeMap, String, String) - Method in class com.articulate.sigma.DocGen

Generate and save all the index pages that link to the individual term pages.

saveRecord(List<QAOutputGenerator.Record>, String) - Static method in class com.articulate.sigma.semRewrite.QAOutputGenerator

save the record to a json file

searchCoherence(String) - Static method in class com.articulate.sigma.WordNetUtilities

Take a file of tabtab and calculate the average Levenshtein distance for each ID.

SemiComment - Static variable in class com.articulate.sigma.semRewrite.Lexer

SemRewriteRuleCheck - Class in com.articulate.sigma.semRewrite

A class for check Rewrite Rule subsume condition Functions: checkRuleSet will check the rule set subsume condition isRuleSubsumedByRuleSet will check the rule subsume condition with the exsiting ruleset

SemRewriteRuleCheck() - Constructor for class com.articulate.sigma.semRewrite.SemRewriteRuleCheck

sen - Variable in class com.articulate.sigma.semRewrite.QAOutputGenerator.Record

senseFrequencies - Variable in class com.articulate.sigma.WordNet

a HashMap where the key is a 9-digit POS-prefixed sense and the value is a the number of times that sense occurs in the Brown corpus.

senseIndex - Variable in class com.articulate.sigma.WordNet

A HashMap where the keys are of the form word_POS_sensenum (alpha POS like "VB") and values are 8 digit WordNet synset byte offsets.

senseKeyPOS(String) - Method in class com.articulate.sigma.WordNet

sensePOS(String) - Static method in class com.articulate.sigma.WordNetUtilities

Take a WordNet sense identifier, and return the integer part of speech code.

senses - Variable in class com.articulate.sigma.Hotel

Sentence - Class in com.articulate.sigma.nlg

A structure allowing one Subject-Verb-Object element in a sentence to "know" about the others.

Sentence(Multimap<CaseRole, String>, SumoProcess, KB, Multimap<String, SumoProcessEntityProperty>) - Constructor for class com.articulate.sigma.nlg.Sentence

Constructor.

SentenceBuilder - Class in com.articulate.sigma.nlp.pipeline

SentenceBuilder(Annotation) - Constructor for class com.articulate.sigma.nlp.pipeline.SentenceBuilder

SentenceBuilder(CoreMap) - Constructor for class com.articulate.sigma.nlp.pipeline.SentenceBuilder

SentenceUtil - Class in com.articulate.sigma.nlp.pipeline

SentenceUtil() - Constructor for class com.articulate.sigma.nlp.pipeline.SentenceUtil

sentiment - Static variable in class com.articulate.sigma.DB

sentiment - Variable in class com.articulate.sigma.Hotel

separateConjunctions() - Method in class com.articulate.sigma.Clausifier

Turn a conjunction into an ArrayList of separate statements

separateConjunctions(Formula) - Static method in class com.articulate.sigma.Clausifier

convenience method

SEQUENT - Static variable in interface tptp_parser.TptpTokenTypes

setAgent(String) - Method in class edu.dlsu.SUMOs.obj.Rule

setAnnotations(SimpleTptpParserOutput.Annotations) - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedClause

setAnnotations(SimpleTptpParserOutput.Annotations) - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedFormula

setAnnotations(SimpleTptpParserOutput.Annotations) - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedThfFormula

setAttribute(String, String) - Method in class com.articulate.sigma.SimpleElement

setAttribute(String, String) - Method in class com.articulate.sigma.User

setAttributeCnt(int) - Method in class edu.dlsu.SUMOs.obj.Rule

setAttributes(ArrayList) - Method in class edu.dlsu.SUMOs.obj.Instance

setBackground(int) - Method in class edu.dlsu.SUMOs.obj.Input

setCaseRolesScratchpad(Multimap<CaseRole, String>) - Method in class com.articulate.sigma.nlg.Sentence

Set the case roles scratch pad with the given case roles.

setCharacters(List) - Method in class edu.dlsu.SUMOs.obj.Input

setCharBegin(int) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens

setCharEnd(int) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens

setCharset(String) - Static method in class com.articulate.sigma.StringUtil

Sets the default value of CHARSET to charEncoding.

setContents(File, String) - Static method in class edu.dlsu.SUMOs.util.ReadWriteTextFile

Change the contents of text file in its entirety, overwriting any existing text.

setCookie(String, String) - Method in class ClientHttpRequest.ClientHttpRequest

adds a cookie to the requst

setCookie(String, String) - Method in class com.articulate.sigma.ClientHttpRequest

adds a cookie to the requst

setCookie(String, String) - Method in class TPTPWorld.ClientHttpRequest

adds a cookie to the requst

setCookies(Map<String, String>) - Method in class ClientHttpRequest.ClientHttpRequest

adds cookies to the request

setCookies(String[]) - Method in class ClientHttpRequest.ClientHttpRequest

adds cookies to the request

setCookies(Map<String, String>) - Method in class com.articulate.sigma.ClientHttpRequest

adds cookies to the request

setCookies(String[]) - Method in class com.articulate.sigma.ClientHttpRequest

adds cookies to the request

setCookies(Map<String, String>) - Method in class TPTPWorld.ClientHttpRequest

adds cookies to the request

setCookies(String[]) - Method in class TPTPWorld.ClientHttpRequest

adds cookies to the request

setCurrTranslatedIfQuantified() - Method in class com.articulate.sigma.nlg.LanguageFormatterStack

If the curr stack element has just two formula args--the first having a state of QUANTIFIED_VARS, the second having a state of TRANSLATED--mark the curr stack element as Translated.

setDay(String) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo

setDayFlag(boolean) - Method in class com.articulate.sigma.semRewrite.datesandnumber.FlagUtilities

setDefaultImageFile(String) - Method in class com.articulate.sigma.DocGen

Sets the base name plus suffix filename of the logo image file to be referenced during HTML document generation.

setDefaultImageFileMarkup(String) - Method in class com.articulate.sigma.DocGen

Sets the base name plus suffix filename of the logo image file to be referenced during HTML document generation.

setDefaultNamespace(String) - Method in class com.articulate.sigma.DocGen

Sets the default namespace for this DocGen object.

setDefaultPredicateNamespace(String) - Method in class com.articulate.sigma.DocGen

Sets the default namespace for predicates in the ontology associated with this DB object.

setDependencies(SemanticGraph) - Method in class com.articulate.sigma.semRewrite.datesandnumber.StanfordDateTimeExtractor

setDirectObject(SVOElement) - Method in class com.articulate.sigma.nlg.Sentence

setDisplayFilter(DocGen.DisplayFilter) - Method in class com.articulate.sigma.DocGen

Sets the DisplayFilter associated with this DocGen object to filterObj.

setDocGen(DocGen) - Method in class com.articulate.sigma.DocGen.PresentationNameComparator

setDocGenKey(String) - Method in class com.articulate.sigma.DocGen

Sets the String key that is the index for this particular DocGen object.

setDoInformalNLG(boolean) - Method in class com.articulate.sigma.nlg.LanguageFormatter

setDurationFlag(boolean) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo

setEntityProperties(Multimap<String, SumoProcessEntityProperty>) - Method in class com.articulate.sigma.nlg.StackElement

setEntityProperties(Multimap<String, SumoProcessEntityProperty>) - Method in class com.articulate.sigma.nlg.SumoProcessCollector

Translate this process and its case roles into natural language.

setError(String) - Method in class com.articulate.sigma.KBmanager

Set an error string for file loading.

setExperiencer(String) - Method in class edu.dlsu.SUMOs.obj.Rule

setFooterText(String) - Method in class com.articulate.sigma.DocGen

Sets the footer text String to be used during HTML document generation.

setHotelWeights(ArrayList<Hotel>) - Static method in class com.articulate.sigma.Hotel

Read a list of lists of Strings which is the original input plus some extra columns for the weights of several "buckets", indicating fitness with respect to a particular criterion.

setHour(String) - Method in class com.articulate.sigma.semRewrite.datesandnumber.TimeInfo

setId(Integer) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens

setIndirectObjects(List<SVOElement>) - Method in class com.articulate.sigma.nlg.Sentence

setInferenceRule(String) - Method in class tptp_parser.SimpleTptpParserOutput.Source.Inference

setInhibitDisplayRelations(Set) - Method in class com.articulate.sigma.DocGen

Sets the predicates for which diplay should be suppressed to those contained in relations.

setInstance(String) - Method in class edu.dlsu.SUMOs.obj.Rule

setIsComputed(boolean) - Method in class com.articulate.sigma.Formula

Sets the value of isComputed to val.

setKB(KB) - Method in class com.articulate.sigma.DocGen.PresentationNameComparator

setKB(KB) - Method in class com.articulate.sigma.DocGen

setKifNamespaceDelimiter(String) - Static method in class com.articulate.sigma.StringUtil

Sets to str the String used in SUO-KIF to separate a namespace prefix from the term it qualifies.

setLemma(String) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens

setLineSeparator(String) - Method in class com.articulate.sigma.DocGen

setLineSeparator(String) - Static method in class com.articulate.sigma.StringUtil

Sets the default line separator token for the current runtime platform.

setListOfSources(Iterable<TptpParserOutput.Source>) - Method in class tptp_parser.SimpleTptpParserOutput.Source.ListOfSources

setLocalReferenceBaseName(String) - Static method in class com.articulate.sigma.StringUtil

setManner(String) - Method in class edu.dlsu.SUMOs.obj.Rule

setMeasureTerms(List<String>) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateAndNumbersGeneration

* Sets the measure terms

setMetaDataFromKB(KB, String) - Method in class com.articulate.sigma.DocGen

Tries to use the values obtained from kb and ontology to set some of the parameter values used for HTML generation.

setMinute(String) - Method in class com.articulate.sigma.semRewrite.datesandnumber.TimeInfo

setMonth(String) - Method in class com.articulate.sigma.semRewrite.datesandnumber.DateInfo

setMonthFlag(boolean) - Method in class com.articulate.sigma.semRewrite.datesandnumber.FlagUtilities

setName(String) - Method in class edu.dlsu.SUMOs.obj.Instance

setName(String) - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedClause

setName(String) - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedFormula

setName(String) - Method in class tptp_parser.SimpleTptpParserOutput.AnnotatedThfFormula

setNer(String) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens

setNormalizedNer(String) - Method in class com.articulate.sigma.semRewrite.datesandnumber.Tokens

setObjects(List) - Method in class edu.dlsu.SUMOs.obj.Input

setOldInferenceBitValue(int) - Method in class com.articulate.sigma.KBmanager

Sets the value of the private variable oldInferenceBitValue.

setOntology(String) - Method in class com.articulate.sigma.DocGen

setOrig(String) - Method in class edu.dlsu.SUMOs.obj.Rule

setOutputDirectoryPath(String) - Method in class com.articulate.sigma.DocGen

Sets the canonical pathname String of the current directory in which output files will be (are being) saved.

setOutputParentDir(File) - Method in class com.articulate.sigma.DocGen

Sets the parent directory in which subdirectories for different types of output files will be created to the File obj, and tries to create the directory pathname if it does not already exist.

setOutputParentDir(String) - Method in class com.articulate.sigma.DocGen

Sets to pathname the parent directory in which subdirectories for different types of output files will be created, and tries to create the directory pathname if it does not already exist.

setOutputParentDir(List) - Method in class com.articulate.sigma.DocGen

Sets the parent directory in which subdirectories for different types of output files will be created to the File obj, and tries to create the directory pathname if it does not already exist.

setOutputParentDir(KB, String) - Method in class com.articulate.sigma.DocGen

Sets the parent directory in which subdirectories for different types of output files will be created to the abstract pathname represented by a statement in kb formed with the predicate docGenOutputParentDirectory and the argument ontology.

setParameter(String, String) - Method in class ClientHttpRequest.ClientHttpRequest

adds a string parameter to the request

setParameter(String, String, InputStream) - Method in class ClientHttpRequest.ClientHttpRequest