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

B

badQuantification() - Method in class com.articulate.sigma.Formula: Deprecated.
badQuantification() - Method in class com.articulate.sigma.FormulaAST: Not yet implemented! Test whether the Formula has variables that are not properly quantified.
badUsageSymbols - Static variable in class com.articulate.sigma.trans.THFnew
badValues - Variable in class com.articulate.sigma.trans.DB2KIF
baseDir - Static variable in class com.articulate.sigma.wordNet.WordNet
baseDirFile - Static variable in class com.articulate.sigma.wordNet.WordNet
baseFunctor(String) - Static method in class com.articulate.sigma.trans.Modals: Return the base functor name by stripping a trailing "__" suffix.
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).
bestOfPair(String, String) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Pick the most general number among two numbers or the most specific term otherwise
bestSignature(List<String>, List<String>) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Find the best type at every argument position
bestSpecificTerm(Collection<String>) - Static method in class com.articulate.sigma.trans.SUMOtoTFAform: Create a specialized version of KB.mostSpecificTerm() that biases the results for TFF.
binarizeConnectives(Formula) - Method in class com.articulate.sigma.Prenexifier
bindingMap - Variable in class com.articulate.sigma.trans.TPTP3ProofProcessor
bindings - Variable in class com.articulate.sigma.trans.TPTP3ProofProcessor
BrownCorpus - Class in com.articulate.sigma.wordNet: Copyright 2016 Articulate Software Author: Adam Pease apease@articulatesoftware.com This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.
BrownCorpus() - Constructor for class com.articulate.sigma.wordNet.BrownCorpus
BrownCorpus.Doc - Class in com.articulate.sigma.wordNet
BrownCorpus.Para - Class in com.articulate.sigma.wordNet
BrownCorpus.Sentence - Class in com.articulate.sigma.wordNet
BrownCorpus.Token - Class in com.articulate.sigma.wordNet
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.dataProc.Hotel
build() - Method in class com.articulate.sigma.tp.ATPException.Builder
build() - Method in class com.articulate.sigma.tp.ATPResult.Builder
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.
buildDirectInstances() - Method in class com.articulate.sigma.KBcache: Record instances and their explicitly defined parent classes
buildDisjointMap() - Method in class com.articulate.sigma.KBcache: cache the transitive closure of disjoint relations
buildDisjointRelationsMap() - Method in class com.articulate.sigma.KBcache
buildDistinct(Set<String>) - Static method in class com.articulate.sigma.trans.CWAUNA
builder() - Static method in exception class com.articulate.sigma.tp.ATPException: Create a new Builder
builder() - Static method in class com.articulate.sigma.tp.ATPResult
Builder() - Constructor for class com.articulate.sigma.tp.ATPException.Builder
Builder() - Constructor for class com.articulate.sigma.tp.ATPResult.Builder
buildExcludedPredicates() - Static method in class com.articulate.sigma.trans.SUMOKBtoTPTPKB: define a set of predicates which will not be used for inference
buildExclusions(KB, String) - Static method in class com.articulate.sigma.trans.CWAUNA: build the big axiom that creates the closed word for each closed relation
buildExplicitDisjointMap() - Method in class com.articulate.sigma.KBcache: build a disjoint-relations-map which were explicitly defined in "partition", "exhaustiveDecomposition", "disjointDecomposition" and "disjoint" expressions;
buildFunctionsSet() - Method in class com.articulate.sigma.KBcache
buildInsts() - Method in class com.articulate.sigma.KBcache: Find all instances
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.
buildTransInstOf() - Method in class com.articulate.sigma.KBcache: Cache whether a given instance has a given parent class.
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.
builtInOrSubType(String) - Method in class com.articulate.sigma.trans.SUMOKBtoTFAKB: Test whether the term one of the three TFF built-in types of $int, $rat and $real or subclass

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