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

E

ecnf - Variable in class com.articulate.sigma.tp.GenPropFormulas
ECNF - Class in com.articulate.sigma.tp
ECNF() - Constructor for class com.articulate.sigma.tp.ECNF: Create a new batch specification file, and create a new running instance of EProver.
ecnfcmds - Static variable in class com.articulate.sigma.tp.GenPropFormulas
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
EditorServlet - Class in com.articulate.sigma: Unified Editor Servlet for both .kif and .tptp code/files.
EditorServlet() - Constructor for class com.articulate.sigma.EditorServlet
EditorWorkerQueue - Class in com.articulate.sigma
elapsedTimeMs(long) - Method in class com.articulate.sigma.tp.ATPResult.Builder
elements - Variable in class com.articulate.sigma.BasicXMLparser: An ArrayList of BasicXMLelement(s).
elimSubsumedTypes(FormulaAST) - Method in class com.articulate.sigma.parsing.Sortals: Eliminate more general types in favor of their more specific subclasses (if any)
elimUnitaryLogops(Formula) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Recursive routine to eliminate occurrences of 'forall', 'exists', 'invalid input: '<'=>', '=>', 'and', 'xor' and 'or' that have only one or zero arguments
email - Variable in class com.articulate.sigma.dataProc.Hotel
empty() - Method in class com.articulate.sigma.Formula: Test whether the Formula is an empty list.
empty() - Method in class com.articulate.sigma.FormulaAST
empty(String) - Static method in class com.articulate.sigma.Formula: Test whether the String is an empty formula.
emptyString(String) - Static method in class com.articulate.sigma.DB
emptyString(String) - Static method in class com.articulate.sigma.DocGen
encodeForHTML(String) - Static method in class com.articulate.sigma.HTMLformatter: change reserved characters from 'invalid input: '&'' tags
encodeForURL(String) - Static method in class com.articulate.sigma.HTMLformatter: Change spaces to "%20" along with many other URL codes.
encoder(Object) - Static method in class com.articulate.sigma.KBmanager
encoder(Object) - Static method in class com.articulate.sigma.nlg.NLGUtils
encoder(Object) - Static method in class com.articulate.sigma.wordNet.OMWordnet
encoder(Object) - Static method in class com.articulate.sigma.wordNet.WordNet
encodeTab(String) - Static method in class com.articulate.sigma.tp.GenPropFormulas: Encode formula for the automated tableau generator https://mathlogic.lv/tableau.html?f=%28%28q%E2%88%A8%C2%ACr%29%E2%88%A7%28r%E2%88%A8%C2%ACp%29%29%E2%88%A7%28p%E2%88%A8%C2%ACq%29
encodeTT(String) - Static method in class com.articulate.sigma.tp.GenPropFormulas: Encode formula for the automated truth table generator https://www.emathhelp.net/calculators/discrete-mathematics/truth-table-calculator/?f= requires invalid input: '<'-> and ->
encrypt(String) - Method in class com.articulate.sigma.PasswordService: Encrypts a string with a deterministic algorithm.
end - Variable in class com.articulate.sigma.ErrRec
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.dataProc.Hotel
EngineFactory() - Constructor for class com.articulate.sigma.InferenceEngine.EngineFactory
engineMode(String) - Method in class com.articulate.sigma.tp.ATPResult.Builder
engineName(String) - Method in class com.articulate.sigma.tp.ATPException.Builder
engineName(String) - Method in class com.articulate.sigma.tp.ATPResult.Builder
ENTITY_SUFFIX - Static variable in class com.articulate.sigma.trans.SUMOKBtoTFAKB
eolIsSignificant(boolean) - Method in class com.articulate.sigma.StreamTokenizer_s: Determines whether or not ends of line are treated as tokens.
eprover - Variable in class com.articulate.sigma.KB: Eprover inference engine process for this KB.
EProver - Class in com.articulate.sigma.tp
EProver(String) - Constructor for class com.articulate.sigma.tp.EProver: Create a running instance of EProver based on existing batch specification file with a max answer of 1.
EProver(String, int) - Constructor for class com.articulate.sigma.tp.EProver: Create a running instance of EProver based on existing batch specification file.
EProver(String, String) - Constructor for class com.articulate.sigma.tp.EProver: Create a new batch specification file, and create a new running instance of EProver.
EPROVER - Enum constant in enum class com.articulate.sigma.KBmanager.Prover
eproverpath - Static variable in class com.articulate.sigma.tp.ECNF
eqList - Variable in class com.articulate.sigma.parsing.FormulaAST
eqNum2Text(int) - Static method in class com.articulate.sigma.KButilities: convert the numerical result of compare() to text
EQUAL - Static variable in class com.articulate.sigma.Formula
equals(Object) - Method in class com.articulate.sigma.DocGen.PresentationNameComparator
equals(Object) - Method in class com.articulate.sigma.ErrRec: Override equals() for deep comparison of all fields.
equals(Object) - Method in class com.articulate.sigma.Formula: Test if the contents of the formula are equal to the argument.
equals(Object) - Method in class com.articulate.sigma.FormulaUtil.FormulaMatchMemoMapKey
equals(Object) - Method in class com.articulate.sigma.KButilities.GraphArc
equals(Object) - Method in class com.articulate.sigma.VariableMapping
equals(String) - Method in class com.articulate.sigma.Formula: Test if the contents of the formula are equal to the String argument.
equalsAnswer(int, String) - Method in class com.articulate.sigma.ProofProcessor: Compare the answer with the expected answer.
equalTFFsig(List<String>, List<String>, String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Check if type signatures of SUMO would be equivalent TFF signatures.
EQUANT - Static variable in class com.articulate.sigma.Formula
EQUI_SATISFIABLE - Enum constant in enum class com.articulate.sigma.tp.SZSStatus
EQUIVALENT - Enum constant in enum class com.articulate.sigma.tp.SZSStatus
ERROR - Enum constant in enum class com.articulate.sigma.CCheckManager.CCheckStatus
ERROR - Enum constant in enum class com.articulate.sigma.tp.SZSStatus.Category
ERROR - Enum constant in enum class com.articulate.sigma.tp.SZSStatus
ERROR - Static variable in class com.articulate.sigma.ErrRec
errorCount - Static variable in class com.articulate.sigma.wordNet.WordNetUtilities
errors - Variable in class com.articulate.sigma.Formula
errors - Variable in class com.articulate.sigma.FormulaAST
errors - Static variable in class com.articulate.sigma.FormulaPreprocessor
errors - Variable in class com.articulate.sigma.Graph
errors - Variable in class com.articulate.sigma.KB: Errors found during loading of the KB constituents.
errors - Static variable in class com.articulate.sigma.KBcache: Errors found during processing formulas
errors - Static variable in class com.articulate.sigma.KButilities: Errors found during processing formulas
errors - Variable in class com.articulate.sigma.parsing.SuokifVisitor
errors - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform
errorSet - Variable in class com.articulate.sigma.KIF: errors generated during parsing
errorSet - Variable in class com.articulate.sigma.KIFAST: errors generated during parsing
ErrRec - Class in com.articulate.sigma: Represents a single diagnostic error or warning produced by KIF checking.
ErrRec() - Constructor for class com.articulate.sigma.ErrRec
ErrRec(int, String, int, int, int, String) - Constructor for class com.articulate.sigma.ErrRec
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.
EVENTPARTLYLOCATED - Enum constant in enum class com.articulate.sigma.nlg.CaseRole
example - Variable in class com.articulate.sigma.VerbNet.Frame
examples - Variable in class com.articulate.sigma.wordNet.OMWordnet
exceptionNounHash - Variable in class com.articulate.sigma.wordNet.WordNet: list of irregular plural forms where the key is the plural, singular is the value.
exceptionNounPluralHash - Variable in class com.articulate.sigma.wordNet.WordNet
exceptionVerbHash - Variable in class com.articulate.sigma.wordNet.WordNet
exceptionVerbPastHash - Variable in class com.articulate.sigma.wordNet.WordNet
exceptionVerbPastProgHash - Variable in class com.articulate.sigma.wordNet.WordNet
exceptVerbProgHash - Variable in class com.articulate.sigma.wordNet.WordNet
exclude(Formula, KB, Writer) - Static method in class com.articulate.sigma.trans.THFnew: Decide whether to exclude a formula from THF export.
excludedPredicates - Static variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
excludeForTypedef(String, Writer) - Static method in class com.articulate.sigma.trans.THFnew: Predicates that denote formulas that shouldn't be included in type definitions of the translation.
excludeNonModal(Formula, KB, Writer) - Static method in class com.articulate.sigma.trans.THFnew
excludePred(String, Writer) - Static method in class com.articulate.sigma.trans.THFnew: Predicates that denote formulas that shouldn't be included in the translation.
execJSON(String) - Static method in class com.articulate.sigma.dataProc.Hotel
execTime - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData
ExecutableNotFoundException - Exception Class in com.articulate.sigma.tp: Exception thrown when an ATP executable (Vampire, EProver, LEO-III, etc.) is not found at the configured path or is not executable.
ExecutableNotFoundException(String, String, String) - Constructor for exception class com.articulate.sigma.tp.ExecutableNotFoundException: Create a new ExecutableNotFoundException
ExecutableNotFoundException(String, String, String, Throwable) - Constructor for exception class com.articulate.sigma.tp.ExecutableNotFoundException: Create a new ExecutableNotFoundException with a cause
EXECUTOR_SERVICE - Static variable in class com.articulate.sigma.KButilities
existentialInAntecedent(Formula) - Static method in class com.articulate.sigma.Diagnostics
existsKB(String) - Method in class com.articulate.sigma.KBmanager: Returns true if a KB with the given name exists.
existVarsCache - Variable in class com.articulate.sigma.Formula
existVarsCache - Variable in class com.articulate.sigma.FormulaAST
exitCode(int) - Method in class com.articulate.sigma.tp.ATPResult.Builder
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.
expandRowVar(FormulaAST) - Method in class com.articulate.sigma.parsing.RowVar
expandRowVar(Set<FormulaAST>) - Method in class com.articulate.sigma.parsing.RowVar
expandRowVars(KB, Formula) - Static method in class com.articulate.sigma.RowVars: Expand row variables, keeping the information about the original source formula.
expandStar(Formula, String, String) - Static method in class com.articulate.sigma.nlg.NLGUtils: This method expands all "star" (asterisk) directives in the input format string, and returns a new format string with individually numbered argument pointers.
expandVariableArityRowVar(Set<FormulaAST>, String) - Method in class com.articulate.sigma.parsing.RowVar
expected - Variable in class com.articulate.sigma.InferenceTestSuite.OneResult
expectedAnswers - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData
EXPERIENCER - Enum constant in enum class com.articulate.sigma.nlg.CaseRole
explicitDisjoint - Variable in class com.articulate.sigma.KBcache: Disjoint relationships which were explicitly defined in "partition", "disjoint", and "disjointDecomposition" expressions
explicitTypes - Variable in class com.articulate.sigma.parsing.FormulaAST
export() - Method in class com.articulate.sigma.dataProc.WikiMuscle
exportTable(KB) - Method in class com.articulate.sigma.DB: Export a comma-delimited table of all the ground binary statements in the knowledge base.
extendInstance(String, String) - Method in class com.articulate.sigma.KBcache: Add a new instance from an existing one plus a suffix, updating the caches
extensionToLang(String) - Static method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
extractAnswerClause(Formula) - Method in class com.articulate.sigma.trans.TPTP3ProofProcessor: *************************************************************** Return the answer clause, or null if not present
extractBufferSlice(String[], int, int) - Static method in class com.articulate.sigma.KifFileChecker: Extract a formula's exact text between line numbers.
extractDiagnostics(List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor: Extract diagnostics from SZS status line (text after colon).
extractEntities(String) - Static method in class com.articulate.sigma.NER
extractErrorLines(List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor: Extract lines that appear to contain error messages from stdout.
extractErrorLines(List<String>, List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor: Extract error lines from both stdout and stderr.
extractIncludesFromTPTP(File) - Static method in class com.articulate.sigma.trans.TPTPutil
extractMeronyms() - Static method in class com.articulate.sigma.wordNet.WordNetUtilities: A utility to extract meronym relations as relations between SUMO terms.
extractOutputType(List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor: Extract the SZS output type (Proof, Refutation, Model, etc.)
extractStatus(List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor: Extract the SZS status from prover output.
extractStatusLine(List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor: Extract the raw SZS status line from prover output.
extractStatusRaw(List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor: Extract the raw status string (just the status word) from output.
extractSzsFromOutput() - Method in class com.articulate.sigma.tp.ATPResult: Extract and populate SZS information from stdout
extractVariables(Formula) - Static method in class com.articulate.sigma.Clausifier: Extract all variables in a list
extractWarnings(List<String>) - Static method in class com.articulate.sigma.tp.SZSExtractor: Extract warning lines from output.

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