M-Index (Sigma API Specification)

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

M

mailModerator(User) - Method in class com.articulate.sigma.PasswordService: Sends the moderator an email requesting a user to be registered a Sigma account
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.CLIMapParser: Main method to demonstrate the parser's usage.
main(String[]) - Static method in class com.articulate.sigma.dataProc.Antenna: Command line entry point for this class
main(String[]) - Static method in class com.articulate.sigma.dataProc.Diagnosis
main(String[]) - Static method in class com.articulate.sigma.dataProc.Hotel
main(String[]) - Static method in class com.articulate.sigma.dataProc.Infrastructure
main(String[]) - Static method in class com.articulate.sigma.dataProc.WikiMuscle
main(String[]) - Static method in class com.articulate.sigma.DB: A test method
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.Formula
main(String[]) - Static method in class com.articulate.sigma.FormulaPreprocessor
main(String[]) - Static method in class com.articulate.sigma.FormulaUtil
main(String[]) - Static method in class com.articulate.sigma.Graph: A test method.
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: Command line entry point for this class
main(String[]) - Static method in class com.articulate.sigma.KBcache: Command line entry point for the class
main(String[]) - Static method in class com.articulate.sigma.KBmanager
main(String[]) - Static method in class com.articulate.sigma.KButilities
main(String[]) - Static method in class com.articulate.sigma.KIF
main(String[]) - Static method in class com.articulate.sigma.KIFAST: Test method for this class.
main(String[]) - Static method in class com.articulate.sigma.KifFileChecker: Command-line entry point.
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.mlpipeline.MLpipeline
main(String[]) - Static method in class com.articulate.sigma.mlpipeline.TestSQUAD
main(String[]) - Static method in class com.articulate.sigma.NER
main(String[]) - Static method in class com.articulate.sigma.nlg.LanguageFormatter: A test method.
main(String[]) - Static method in class com.articulate.sigma.nlg.OllamaClient
main(String[]) - Static method in class com.articulate.sigma.parsing.SuokifApp: Command line entry point for the APP
main(String[]) - Static method in class com.articulate.sigma.parsing.SuokifVisitor
main(String[]) - Static method in class com.articulate.sigma.parsing.TPTPWriter
main(String[]) - Static method in class com.articulate.sigma.PasswordService: Command line entry point
main(String[]) - Static method in class com.articulate.sigma.PredVarInst
main(String[]) - Static method in class com.articulate.sigma.Prenexifier
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.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.tp.ECNF: A simple test.
main(String[]) - Static method in class com.articulate.sigma.tp.EProver: A simple test.
main(String[]) - Static method in class com.articulate.sigma.tp.GenPropFormulas
main(String[]) - Static method in class com.articulate.sigma.tp.LEO
main(String[]) - Static method in class com.articulate.sigma.tp.Vampire
main(String[]) - Static method in class com.articulate.sigma.TPTPFileChecker
main(String[]) - Static method in class com.articulate.sigma.trans.CWAUNA
main(String[]) - Static method in class com.articulate.sigma.trans.DB2KIF
main(String[]) - Static method in class com.articulate.sigma.trans.KIF2DB
main(String[]) - Static method in class com.articulate.sigma.trans.KIF2SQL: A test method.
main(String[]) - Static method in class com.articulate.sigma.trans.Modals
main(String[]) - Static method in class com.articulate.sigma.trans.OWLtranslator: A test method.
main(String[]) - Static method in class com.articulate.sigma.trans.SUMOformulaToTPTPformula: A test method.
main(String[]) - Static method in class com.articulate.sigma.trans.SUMOKBtoTFAKB: Will first write out SUMO.tptp if the KB had not yet been serialized, or serialized files are older than the sources, then, will write out a fresh SUMO.tff.
main(String[]) - Static method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB: Will first write out SUMO.tptp if the KB had not yet been serialized, or serialized files are older than the sources, then, will write out a fresh SUMO.fof.
main(String[]) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform
main(String[]) - Static method in class com.articulate.sigma.trans.THF: A test method.
main(String[]) - Static method in class com.articulate.sigma.trans.THFnew
main(String[]) - Static method in class com.articulate.sigma.trans.TPTP2SUMO
main(String[]) - Static method in class com.articulate.sigma.trans.TPTP3ProofProcessor: ***************************************************************
main(String[]) - Static method in class com.articulate.sigma.trans.TPTPutil
main(String[]) - Static method in class com.articulate.sigma.User
main(String[]) - Static method in class com.articulate.sigma.VerbNet.VerbNet
main(String[]) - Static method in class com.articulate.sigma.wordNet.BrownCorpus
main(String[]) - Static method in class com.articulate.sigma.wordNet.OMWordnet: 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.wordNet.WordNet: A main method, used only for testing.
main(String[]) - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: A main method, used only for testing.
main(String[]) - Static method in class com.articulate.sigma.wordNet.WSD: A main method, used only for testing.
makeEmptyKB(String) - Static method in class com.articulate.sigma.Diagnostics: Make an empty KB for use in Diagnostics.
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.
makeWorldVar(KB, Formula) - Static method in class com.articulate.sigma.trans.THFnew
mapFormulaVariables(Formula, Formula, KB, Map<FormulaUtil.FormulaMatchMemoMapKey, List<Set<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 - Static variable in class com.articulate.sigma.dataProc.Antenna
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.wordNet.WordNetUtilities
mappings - Static variable in class com.articulate.sigma.Mapping
mappings - Static variable in class com.articulate.sigma.wordNet.WordNetUtilities: POS-prefixed mappings from a new synset number to the old one.
Mappings() - Constructor for class com.articulate.sigma.dataProc.Infrastructure.Mappings
markFormulaArgAsProcessed(String) - Method in class com.articulate.sigma.nlg.LanguageFormatterStack: Mark the given formula argument as having been processed.
matchHotels(Hotel, Hotel) - Static method in class com.articulate.sigma.dataProc.Hotel
MATH_FUNCTIONS - Static variable in class com.articulate.sigma.Formula: The SUO-KIF mathematical functions are implemented in Vampire, but not yet EProver.
MAX_ARITY - Static variable in class com.articulate.sigma.RowVars
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.
maxForDebug - Static variable in class com.articulate.sigma.trans.KIF2SQL
maxNounSynsetID - Variable in class com.articulate.sigma.wordNet.WordNet
maxValue - Variable in class com.articulate.sigma.trans.DB2KIF
maxVerbSynsetID - Variable in class com.articulate.sigma.wordNet.WordNet
media - Variable in class com.articulate.sigma.dataProc.Hotel
Member() - Constructor for class com.articulate.sigma.VerbNet.Verb.Member
members - Variable in class com.articulate.sigma.VerbNet.Verb
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.dataProc.Hotel
merge(KIF, String) - Method in class com.articulate.sigma.KB: Merges a KIF object containing a single formula into the current KB.
merge(SumoProcessCollector) - Method in class com.articulate.sigma.nlg.SumoProcessCollector: Merge the roles of the given SumoProcessCollector into this object.
merge(Set<String>, String, String) - Static method in class com.articulate.sigma.Mapping: rename terms in KB kbname2 to conform to names in kbname1
mergeCaches(KBcache) - Method in class com.articulate.sigma.KBcache: Experimental: Utility method to perform a merge with the KBcache input
mergeFormulaAST(FormulaAST) - Method in class com.articulate.sigma.parsing.FormulaAST: Merge arguments to a predicate, which may themselves be complex formulas, with an existing formula.
mergeFormulaAST(List<FormulaAST>) - Method in class com.articulate.sigma.parsing.FormulaAST: Merge arguments to a predicate, which may themselves be complex formulas, with an existing formula.
mergeHotels(ArrayList<Hotel>, ArrayList<Hotel>) - Static method in class com.articulate.sigma.dataProc.Hotel
mergeKBs(KB) - Method in class com.articulate.sigma.KB: Experimental: Utility method to perform a merge with the KB input
mergeToMap(Map<String, Set<String>>, Map<String, Set<String>>, KB) - Static method in class com.articulate.sigma.KButilities: utility method to merge two HashMaps of String keys and a values of an HashSet of Strings.
mergeUpdates() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: Read in a file with a nine-digit synset number followed by a space and a SUMO term.
mergeWordCoFrequencies(Map<String, Map<String, Integer>>) - Method in class com.articulate.sigma.wordNet.WordNet: Merge a new set of word co-occurrence statistics into the existing set.
message(String) - Method in class com.articulate.sigma.tp.ATPException.Builder
metaPred - Static variable in class com.articulate.sigma.InferenceTestSuite
millis - Variable in class com.articulate.sigma.InferenceTestSuite.OneResult
MINUSFN - Static variable in class com.articulate.sigma.Formula
minValue - Variable in class com.articulate.sigma.trans.DB2KIF
missingSorts(Formula) - Method in class com.articulate.sigma.trans.SUMOtoTFAform
MLpipeline - Class in com.articulate.sigma.mlpipeline: Created by apease on 10/1/15.
MLpipeline() - Constructor for class com.articulate.sigma.mlpipeline.MLpipeline
MLpipeline.Data - Class in com.articulate.sigma.mlpipeline
MODAL_RELATIONS - Static variable in class com.articulate.sigma.trans.Modals
modalAttributes - Static variable in class com.articulate.sigma.trans.Modals
Modals - Class in com.articulate.sigma.trans
Modals() - Constructor for class com.articulate.sigma.trans.Modals
mode - Static variable in class com.articulate.sigma.tp.Vampire
modensPonens - Static variable in class com.articulate.sigma.KB
modifiedContents - Variable in class com.articulate.sigma.KB: Future: If true, the contents of the KB have been modified without updating the caches
modifyPrecond(Formula) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: remove statements of the form (instance ?X term) if 'term' is Integer or RealNumber and ?X is already of that type in the quantifier list for the formula
modifyTypesToConstraints(Formula) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: replace type statements of the form (instance ?X term), where term is a subtype of Integer or RealNumber with a constraint that defines that type
mostGeneralType(Collection<String>) - Method in class com.articulate.sigma.KB: Find the most specific term in a collection using compareTermDepth()
mostSpecificParent(Set<String>) - Method in class com.articulate.sigma.KBcache
mostSpecificSignature(List<String>, List<String>) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Find the most specific TFF type or superclass at every argument position
mostSpecificTerm(Collection<String>) - Method in class com.articulate.sigma.KB: Find the most specific term in a collection using compareTermDepth()
mostSpecificTFFTerm(Collection<String>) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Create a specialized version of KB.mostSpecificTerm() that biases the results for TFF.
mostSpecificType(Collection<String>) - Method in class com.articulate.sigma.KB: Find the most specific term in a collection using compareTermDepth()
mostSpecificType(Collection<String>) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Create a specialized version of KB.mostSpecificTerm() that biases the results for TFF.
mostSpecificType(Set<String>) - Method in class com.articulate.sigma.parsing.Sortals: Find the most specific type in a list of types.
MOVES - Enum constant in enum class com.articulate.sigma.nlg.CaseRole
msg - Variable in class com.articulate.sigma.ErrRec
multiplePredVar - Variable in class com.articulate.sigma.parsing.SuokifVisitor
multipleRowVar - Variable in class com.articulate.sigma.parsing.SuokifVisitor
multiWords - Variable in class com.articulate.sigma.wordNet.WordNet
MultiWords - Class in com.articulate.sigma.wordNet
MultiWords() - Constructor for class com.articulate.sigma.wordNet.MultiWords
multiWordSerialized - Variable in class com.articulate.sigma.wordNet.MultiWords: A Multimap of String keys and String values.
muscle - Variable in class com.articulate.sigma.dataProc.WikiMuscle.Record
muscleText - Variable in class com.articulate.sigma.dataProc.WikiMuscle.Record

A B C D E F G H I J K L M N O P Q R S T U V W X _
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form