- 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.KMeans
-
- main(String[]) - Static method in class com.articulate.sigma.nlp.KMeansVec
-
- 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.TFIDF
-
Run a series of tests containing a filename,
a query and an expected answer.
- 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.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.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.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.
- 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
-
- mapFormulaVariables(Formula, Formula, KB, HashMap<FormulaUtil.FormulaMatchMemoMapKey, List<Set<Formula.VariableMapping>>>) - Static method in class com.articulate.sigma.Formula
-
Compares recursively to formulas and returns possible variable maps between the variables of the two formulas
Returns:
null - if the formulas cannot be equals (due to having different predicates for example)
empty list- formulas are equal, but there are no variables to map
list 0f variable mapping sets the list of possible variable mapping sets which will make formulas equal
- 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
-
- markFormulaArgAsProcessed(String) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack
-
Mark the given formula argument as having been processed.
- matchBestInput(String) - Method in class com.articulate.sigma.nlp.TFIDF
-
- 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
-
- 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
-
- 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
- MEASURE_ENTITIES - Static variable in class com.articulate.sigma.semRewrite.datesandnumber.StanfordDateTimeExtractor
-
- media - Variable in class com.articulate.sigma.Hotel
-
- 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.
- merchant - Variable in class com.articulate.sigma.Hotel
-
- 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
-
- 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.
- MINUSFN - Static variable in class com.articulate.sigma.Formula
-
- modifiedContents - Variable in class com.articulate.sigma.KB
-
Future: If true, the contents of the KB have been modified without updating the caches
- 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
-
- multiWord - Variable in class com.articulate.sigma.WordNet
-
A HashMap of String keys and String values.