- 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).
- binaryRel - Static variable in class com.articulate.sigma.semRewrite.Lexer
-
- 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
-
- 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.