Index
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form
K
- KAPPAFN - Static variable in class com.articulate.sigma.Formula
- 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 - Variable in class com.articulate.sigma.InferenceTestSuite
- kb - Variable in class com.articulate.sigma.KBcache
- kb - Static variable in class com.articulate.sigma.parsing.Preprocessor
- kb - Variable in class com.articulate.sigma.parsing.RowVar
- kb - Static variable in class com.articulate.sigma.Prolog
- kb - Static variable in class com.articulate.sigma.trans.DB2KIF
- kb - Static variable in class com.articulate.sigma.trans.KIF2DB
- kb - Variable in class com.articulate.sigma.trans.KIF2SQL
- kb - Variable in class com.articulate.sigma.trans.OWLtranslator
- kb - Variable in class com.articulate.sigma.trans.SUMOKBtoTPTPKB
- kb - Static variable in class com.articulate.sigma.trans.SUMOtoTFAform
- kb - Static variable in class com.articulate.sigma.VerbNet.VerbNet
- KB - Class in com.articulate.sigma
-
***************************************************************** Contains methods for reading, writing knowledge bases and their configurations.
- KB() - 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(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_MANAGER_SER - Static variable in class com.articulate.sigma.KBmanager
- 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.
- kbFiles - Variable in class com.articulate.sigma.InferenceTestSuite.InfTestData
- 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
- KBmanager.Prover - Enum Class in com.articulate.sigma
- 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
- KButilities.GraphArc - Class in com.articulate.sigma
- keys - Static variable in class com.articulate.sigma.parsing.SuokifVisitor
- KIF - Class in com.articulate.sigma
-
A class designed to read a file in SUO-KIF format into memory.
- KIF - Static variable in class com.articulate.sigma.trans.DB2KIF
- KIF() - Constructor for class com.articulate.sigma.KIF
- KIF(String) - Constructor for class com.articulate.sigma.KIF
-
Pre-allocate space for hashes, based on file size
- KIF2DB - Class in com.articulate.sigma.trans
- KIF2DB() - Constructor for class com.articulate.sigma.trans.KIF2DB
- KIF2SQL - Class in com.articulate.sigma.trans
- KIF2SQL() - Constructor for class com.articulate.sigma.trans.KIF2SQL
- KIF2THF(Collection<Formula>, Collection<Formula>, KB) - Method in class com.articulate.sigma.trans.THF
-
The main function to convert KIF problems into TPTP THF representation; see the explanation at top of this file.
- KIFAST - Class in com.articulate.sigma
- KIFAST() - Constructor for class com.articulate.sigma.KIFAST
- KifFileChecker - Class in com.articulate.sigma
-
Headless KIF checker that mirrors SUMOjEdit.checkErrorsBody logic, but returns diagnostics as strings: "line:col: SEVERITY: message".
- KifFileChecker() - Constructor for class com.articulate.sigma.KifFileChecker
- kifListToArrayList(String) - Static method in class com.articulate.sigma.FormulaUtil
-
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
- kryoLocal - Static variable in class com.articulate.sigma.KButilities
-
A thread local pool for the Kryo serializer
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form