Uses of Class
com.articulate.sigma.KB

Packages that use KB

Package	Description
com.articulate.sigma	Provides classes for the Sigma knowledge engineering environment version developed at Articulate Software Inc.
com.articulate.sigma.dataProc
com.articulate.sigma.nlg	Provides classes for natural language generation in the Sigma knowledge engineering environment version developed at Articulate Software Inc.
com.articulate.sigma.parsing
com.articulate.sigma.tp
com.articulate.sigma.trans	Provides classes for translation to other logical languages in the Sigma knowledge engineering environment version developed at Articulate Software Inc.
com.articulate.sigma.VerbNet
com.articulate.sigma.wordNet	Provides classes for handling Wordnets.

Uses of KB in com.articulate.sigma

Fields in com.articulate.sigma declared as KB

Modifier and Type	Field	Description
protected KB	DocGen.kb	The KB associated with this DocGen object.
protected KB	DocGen.PresentationNameComparator.kb
KB	InferenceTestSuite.kb
KB	KBcache.kb
static KB	Prolog.kb

Fields in com.articulate.sigma with type parameters of type KB

Modifier and Type	Field	Description
Map<String,KB>	KBmanager.kbs
protected Map<KB,List<String>>	DocGen.relationsByKB	A Map in which each key is a KB name and the corresponding value is a List of the Predicates defined in the KB.

Methods in com.articulate.sigma that return KB

Modifier and Type	Method	Description
KB	DocGen.getKB()
KB	DocGen.PresentationNameComparator.getKB()
KB	KBmanager.getKB(String name)	Get the KB that has the given name.
static KB	Diagnostics.makeEmptyKB(String kbName)	Make an empty KB for use in Diagnostics.

Methods in com.articulate.sigma that return types with arguments of type KB

Modifier and Type	Method	Description
Map<KB,List<String>>	DocGen.getRelationsByKB()

Methods in com.articulate.sigma with parameters of type KB

Modifier and Type	Method	Description
protected static Map<String,Set<String>>	PredVarInst.addExplicitTypes(KB kb, Formula input, Map<String,Set<String>> types)	There are two type conditions: one type condition is extracted from domain expression; second type condition is specifically defined in the antecedent of a rule with an instance or subclass expression
static void	Diagnostics.addLabels(KB kb, Set<String> file)	Make a table of terms and the files in which they are defined
Formula	FormulaPreprocessor.addTypeRestrictions(Formula form, KB kb)	Add clauses for every variable in the antecedent to restrict its type to the type restrictions defined on every relation in which it appears.
static String	EditGUI.assertFacts(KB kb, Map<String,List<String>> cbset, String kbHref)	Interpret a map as a key relation name and ArrayList of values as arguments.
static String	HTMLformatter.browserSectionFormat(String term, String header, KB kb, String language, String flang, int arg, String type)	Create the HTML for a section of the Sigma term browser page.
static String	HTMLformatter.browserSectionFormatLimit(String term, String header, KB kb, String language, String flang, int start, int limit, int arg, String type)	Create the HTML for a section of the Sigma term browser page.
boolean	KBcache.checkDisjoint(KB kb, String c1, String c2)	Check if given classes are disjoint
boolean	KBcache.checkDisjoint(KB kb, Set<String> typeSet)	check if there are any two types in typeSet are disjoint or not;
static Set<Formula>	KifFileChecker.CheckFormulaPreprocess(String fileName, KB kb, Formula f, int formulaStartLine, List<ErrRec> msgs)	Run FormulaPreprocessor and record errors/warnings.
static void	KifFileChecker.CheckIsValidFormula(String fileName, Formula f, int formulaStartLine, KB kb, String formulaText, List<ErrRec> msgs)	Check if the formula is structurally valid in the KB.
static void	KifFileChecker.CheckSUMOtoTFAformErrors(String fileName, KB kb, Formula f, int formulaStartLine, Set<Formula> processed, List<ErrRec> msgs)	Correct invocation of SUMO→TFA translation errors.
static void	KifFileChecker.CheckTermsBelowEntity(String fileName, Formula f, int formulaStartLine, String formulaText, KB kb, Set<String> localIndividuals, Set<String> localSubclasses, List<ErrRec> msgs)	Check that all terms are below Entity in the KB hierarchy.
static void	KButilities.checkURLs(KB kb)
static List<String>	Diagnostics.childrenOfDisjointParents(KB kb)	Return a list of terms that have parents which are disjoint.
static Map<String,Formula>	KB.collectSourceAxioms(KB kb, TPTP3ProofProcessor tpp)	Attempt to provide guidance on the likely cause of a contradiction by removing the axioms involved in a contradiction one-by-one and trying again.
Map<String,Set<String>>	FormulaPreprocessor.computeVariableTypes(Formula form, KB kb)	This method returns a HashMap that maps each String variable in this the names of types (classes) of which the variable must be an instance or the names of types of which the variable must be a subclass.
static void	KB.contradictionHelp(KB kb, String[] args, int timeout)	Attempt to provide guidance on the likely cause of a contradiction by removing the axioms involved in a contradiction one-by-one and trying again.
static Map<String,Integer>	KButilities.countFormulaTypes(KB kb)	Get count of all the different kinds of formulas as to their logical expressivity
static void	KButilities.countProcesses(KB kb)
static void	KButilities.countRelations(KB kb)
static void	KButilities.countStringWords(KB kb)	Count the number of words in all the strings in a knowledge base
String	DocGen.createAllStatements(KB kb, String kbHref, String term, int limit)	Create an HTML page that lists information about a particular term, with a limit on how many statements of each type should be displayed.
protected Map<String,Map<String,List<String>>>	DocGen.createAlphaList(KB kb)
protected String	DocGen.createBelongsToClass(KB kb, String kbHref, String term, String language)	Returns a String containing HTML markup for the Belongs to Class section of an HTML page displaying the partial definition of term in kb.
protected String	DocGen.createBelongsToClass(KB kb, String kbHref, String term, String language, Set<String> parents)	Returns a String containing HTML markup for the Belongs to Class section of an HTML page displaying the partial definition of term in kb.
Set<String>	Graph.createBoundedSizeGraph(KB kb, String term, String relation, int size, boolean instances, String language)	Create a graph of a bounded size by incrementing the number of levels above and below until the limit is reached or there are no more levels in the knowledge base from the given term and relation.
protected String	DocGen.createChildren(KB kb, String kbHref, String term, String language)	Returns a String containing HTML markup for the Children field of an HTML page displaying the definition of term in kb.
protected String	DocGen.createComments(KB kb, String kbHref, String term, String language)	Returns a String containing the HTML markup for the Comment field in a page displaying the definition of term in kb.
protected String	DocGen.createCompositeComponentLine(KB kb, String kbHref, String term, int indent, String language)	Returns a String containing HTML markup for a single table row in the Composite Component section of an HTML page displaying the partial definition of term in kb.
String	DocGen.createCompositePage(KB kb, String kbHref, String term, Map<String,Map<String,List<String>>> alphaList, int limit, String language, String formatToken)	Create an HTML page that lists information about a particular composite term, which is a representation of an XML structure.
protected List	DocGen.createCompositeRecurse(KB kb, String term, boolean isAttribute, int indent)	Recursively computes and then returns a List that constitutes the graph containing those XML elements and attributes syntactically subordinate to term in kb.
protected String	DocGen.createContainingCompositeComponentLine(KB kb, String kbHref, String containingComp, String instance, int indent, String language)	Returns a String containing HTML markup for a row displaying a contained component in an HTML page displaying the partial definition of instance in kb.
protected String	DocGen.createDisplayNames(KB kb, String kbHref, String term, String formatToken)	Returns a String containing HTML markup for the Display Labels field of an HTML page displaying statements about term in kb.
protected String	DocGen.createDocs(KB kb, String kbHref, String term, String language)	Returns a String consisting of HTML markup for a documentation String for term obtained from kb and indexed by language.
boolean	Graph.createDotGraph(KB kb, String term, String relation, int above, int below, int limitInt, String fname, String fileRestrict)	Create a ArrayList with a set of terms comprising a hierarchy in a format suitable for GraphViz' input format http://www.graphviz.org.
static String	Editor.createFormPage(KB kb, String term, Formula f)	Create an HTML form for editing facts about a term.
protected String	DocGen.createFormula(KB kb, String kbHref, String indentSeq, int level, String previousTerm, String currentTerm, String context)	Returns a String containing HTML markup for a SUO-KIF Formula.
Set<String>	Graph.createGraph(KB kb, String term, String relation, int above, int below, int termLimit, boolean instances, String language)	Create an ArrayList with a set of terms comprising a hierarchy Each term String will be prefixed with an appropriate number of indentChars.
protected String	DocGen.createHasSameComponents(KB kb, String kbHref, String term, String language)	Returns a String containing HTML markup for the Has Same Components As field of an HTML page displaying the definition of term in kb.
protected String	DocGen.createInstances(KB kb, String kbHref, String term, String language, List excluded)	Returns a String containing HTML markup for the Instances section of an HTML page displaying the definition of term in kb.
String	DocGen.createPage(KB kb, String kbHref, String term, Map<String,Map<String,List<String>>> alphaList, int limit, String language, String formatToken)	Create an HTML page that lists information about a particular term, with a limit on how many statements of each type should be displayed.
protected String	DocGen.createParents(KB kb, String kbHref, String term, String language, Set parentsSet)	Returns a String containing HTML markup for the Parents field of an HTML page displaying the definition of term in kb.
protected String	DocGen.createRelations(KB kb, String kbHref, String term, String language, String formatToken)	Returns a String containing HTML markup for the Relations section of an HTML page displaying the definition of term in kb.
protected String	DocGen.createSynonyms(KB kb, String kbHref, String term, String formatToken)	Returns a String containing HTML markup for the synonym field of an HTML page displaying the definition of term in kb.
protected String	DocGen.createUsingSameComponents(KB kb, String kbHref, String term, String language)	Returns a String containing HTML markup for the Composites Using Same Components field of an HTML page displaying the definition of term in kb.
static void	Diagnostics.diffTerms(KB kb, String f1, String f2)	diff the terms in two KBs (small first, then big) and print all the remainder with their filename and termFormats
static List<Formula>	RowVars.expandRowVars(KB kb, Formula f)	Expand row variables, keeping the information about the original source formula.
void	DB.exportTable(KB kb)	Export a comma-delimited table of all the ground binary statements in the knowledge base.
Map<String,Set<String>>	FormulaPreprocessor.findAllTypeRestrictions(Formula form, KB kb)
protected List	DocGen.findContainingComposites(KB kb, String term)	Returns an ArrayList holding the composite entities (Elements) that contain term, or returns an empty ArrayList.
Map<String,Set<String>>	FormulaPreprocessor.findExplicitTypes(KB kb, Formula form)	Collect variable names and their types from instance or subclass expressions.
void	FormulaPreprocessor.findExplicitTypesClasses(KB kb, Formula form, Map<String,Set<String>> varExplicitTypes, Map<String,Set<String>> varExplicitClasses)	Collect variable names and their types from instance or subclass expressions.
Map<String,Set<String>>	FormulaPreprocessor.findExplicitTypesClassesInAntecedent(KB kb, Formula form)	Collect the types of any variables that are specifically defined in the antecedent of a rule with an instance expression; Collect the super classes of any variables that are specifically defined in the antecedent of a rule with an subclass expression;
Map<String,Set<String>>	FormulaPreprocessor.findExplicitTypesInAntecedent(KB kb, Formula form)	Collect the types of any variables that are specifically defined in the antecedent of a rule with an instance or subclass expression.
static void	FormulaPreprocessor.findExplicitTypesRecurse(KB kb, Formula form, boolean isNegativeLiteral, Map<String,Set<String>> varExplicitTypes, Map<String,Set<String>> varExplicitClasses)	Recursively collect a variable name and its types.
protected static Map<String,Set<String>>	PredVarInst.findPredVarTypes(Formula f, KB kb)	Get a set of all the types for predicate variables in the formula.
String	Formula.findType(KB kb)
static String	FormulaPreprocessor.findType(int numarg, String pred, KB kb)	Find the argument type restriction for a given predicate and argument number that is inherited from one of its super-relations.
Map<String,Set<String>>	FormulaPreprocessor.findTypeRestrictions(Formula form, KB kb)	Find all the type restrictions on the variables in a formula, including constraints from relation argument typing as well as explicitly stated types from instance and subclass expressions.
protected String	DocGen.formatCompositeHierarchy(KB kb, String kbHref, List hier, String language)	Returns a String containing HTML markup for a hierarchy or tree display of terms that denote nested composite components.
protected String	DocGen.formatContainingComposites(KB kb, String kbHref, List containing, String composite, String language)	Given the SUO-KIF statements: (hasXmlElement PartyDescriptor LocalInstance_2_459) (datatype LocalInstance_2_459 PartyId) (documentation LocalInstance_2_459 PartyDescriptor "A Composite containing details...") show PartyDescriptor as one of the "containing composites" of PartyId, and show the documentation for the instance node next to the parent composite.
static String	HTMLformatter.formatErrorsWarnings(Set<String> list, KB kb)	hyperlink formulas in error messages.
static String	HTMLformatter.formatFormulaList(List<Formula> forms, String header, KB kb, String language, String flang, int start, int localLimit, String limitString)	Create the HTML for a section of the Sigma term browser page.
protected static Set<String>	PredVarInst.gatherPredVarRecurse(KB kb, Formula f)	Get a set of all the predicate variables in the formula.
static Set<String>	PredVarInst.gatherPredVars(KB kb, Formula f)	Collect and return all predicate variables for the given formula
Map<String,List>	Formula.gatherRelationsWithArgTypes(KB kb)	Returns a HashMap in which the keys are the Relation constants gathered from this Formula, and the values are ArrayLists in which the ordinal positions 0 - n are occupied by the names of the corresponding argument types.
static void	KButilities.genAllAlphaHTMLDoc(KB kb)	Generate a HTML list of terms and their documentation strings from a file as upper and lowercase individual files so that each file isn't gigantic
static void	KButilities.genAllDoc(KB kb, String fname)	Generate a textual list of all documentation strings and write to a file.
static void	KButilities.genAllHTMLDoc(KB kb)	Generate a HTML list of terms and their documentation strings from a file.
static List<String>	EditGUI.genAllParentList(KB kb, String term)	Get the all parent classes of term.
static Map<String,List<List<String>>>	EditGUI.genClassList(KB kb, String term)	Collect a set of relations in which the type of given term is an argument subclass, and collect the set of possible argument fillers.
static String	EditGUI.genClassPage(KB kb, String term, String kbHref)	Generate a set of menus comprising relations that apply to this class i.e.
static void	KButilities.genDoc(KB kb, String fname)	Generate a textual list of terms and their documentation strings from a file.
static String	KButilities.generateAllNL(KB kb)	Generate line pairs of formula and NL paraphrase of formula
void	DB.generateDB(KB kb)	Generate an SQL database from the knowledge base Tables must be defined as instances of invalid input: '&'%DatabaseTable and must have invalid input: '&'%localDocumentation and invalid input: '&'%HasDatabaseColumn relations.
static String	KButilities.generateFormulasAndDoc(KB kb)	Find all formulas in which the SUMO term is involved.
void	DocGen.generateHTML(KB kb, String language, boolean simplified, String formatToken)	Generate simplified HTML pages for all terms.
protected Map<String,String>	DocGen.generateHTMLPages(KB kb, Map<String,Map<String,List<String>>> alphaList, String language, String formatToken)
Set<KButilities.GraphArc>	KButilities.generateSemNetNeighbors(KB kb, boolean cached, boolean strings, boolean links, String term, int count)
void	DocGen.generateSingleHTML(KB kb, String language, boolean simplified)
void	DocGen.generateSingleHTML(KB kb, String dir, Map<String,Map<String,List<String>>> alphaList, String language, boolean simplified)	Generate a single HTML page showing all terms.
protected String	DocGen.generateTocHeader(KB kb, Map<String,Map<String,List<String>>> alphaList, String allname)	Generate an alphabetic HTML list that points to the individual index pages (which collect all terms or term formats) starting with a particular letter.
protected String	DocGen.generateTOCPage(KB kb, String firstLetter, Map<String,Map<String,List<String>>> alphaList, String language)	Generate an HTML page that lists term name and its documentation
static List<String>	EditGUI.genImmedParentList(KB kb, String term)	Get the just the immediate parent classes of a term
static Map<String,List<List<String>>>	EditGUI.genInstList(KB kb, String term)	Collect a set of relations in which the type of given term is an argument instance type, and collect the set of possible argument fillers.
static String	EditGUI.genInstPage(KB kb, String term, String kbHref)	Generate fields for an HTML form that allow a user to assert statements by using menus to set parameters that are arguments to relations.
String	EditGUI.genRelPage(KB kb, String rel)
static void	KButilities.genSpecificTermDoc(KB kb, String file, String lang)	Generate a HTML list of terms and their documentation strings from a file.
static Set<Formula>	KButilities.getAllFormulasOfTerm(KB kb, String term)	Find all formulas in which the SUMO term is involved.
static List<String>	HTMLformatter.getAllNonRelTerms(KB kb, List<String> matchesList)
static List<String>	HTMLformatter.getAllRelTerms(KB kb, List<String> matchesList)
Map<String,Map<String,List<String>>>	DocGen.getAlphaList(KB kb)
protected String	DocGen.getClosestXmlDataType(KB kb, String term)
protected Set<String>	DocGen.getCodedIdentifiers(KB kb)	Collects and returns the Set containing all known coded identifiers in kb, including ISO code values stated to be such.
protected List	DocGen.getContainingComposites(KB kb, String term)	Travels up the HasXmlElement and HasXmlAttribute relation hierarchies to collect all parents, and returns them in an ArrayList.
protected String	DocGen.getContextualDocumentation(KB kb, String term, List contexts)	Returns the first documentation String obtained for term in kb, using the List of namespaces or other contextualizing terms in contexts.
static int	KButilities.getCountNonLinguisticAxioms(KB kb)
static int	KButilities.getCountTermFormats(KB kb, String lang)	Get count of all the termFormat strings for the given language
static int	KButilities.getCountUniqueTermFormats(KB kb, String lang)	Get count of all the termFormat strings for unique SUMO terms for the given language.
protected List	DocGen.getDatatypeTerms(KB kb, String term, int targetArgnum)
static String	KButilities.getDocumentation(KB kb, String term)
protected String	DocGen.getFirstContainingClass(KB kb, String term)	Returns a SUO-KIF constant that denotes the first containing Class of term obtained in kb.
protected String	DocGen.getFirstDatatype(KB kb, String term)
protected String	DocGen.getFirstGeneralTerm(KB kb, String term)	Returns the first containing, subsuming, or superordinate entity that can be found for term in kb.
protected List<String>	DocGen.getFirstGeneralTerms(KB kb, String term)	Returns a List of the first containing, subsuming, or superordinate entities found for term in kb.
static String	DocGen.getFirstHtmlFormatToken(KB kb, String ontology)	Returns the first String token retrieved from ontology in kb that denotes an HTML output format.
protected List<String>	DocGen.getFirstInstances(KB kb, String term)	Returns a List of the entities that are immediate instances of term in kb.
protected List<String>	DocGen.getFirstSpecificTerms(KB kb, String term)	Returns a List of the first instances or syntactic subordinate entities that can be found for term in kb.
protected List<String>	DocGen.getFirstSubClasses(KB kb, String term)	Returns a List containing the immediate SUO-KIF subclasses of term in kb.
protected String	DocGen.getFirstSubsumingTerm(KB kb, String term)	Returns the first purely "subsuming" entity that can be found for term in kb, assuming that term denotes a Class or a Relation.
protected String	DocGen.getFirstTermFormat(KB kb, String term, List contexts)	Returns a String that is the first termFormat value obtained for term in kb, else returns null if no termFormat value exists.
static DocGen	DocGen.getInstance(KB kb, String ontology)
static List<String>	KButilities.getLabelsForTerm(KB kb, String term, String lang)	Generate a HTML list of labels from termFormats TODO: Does this work? Only returning an empty List
static List<String>	KButilities.getLinkedTermsInDoc(KB kb, String term)
protected String	FormulaPreprocessor.getMostRelevantType(KB kb, Set<String> types)	Get the most specific type for variables.
protected List<String>	DocGen.getNamespaceDelimiters(KB kb, String ontology)	Returns a List of all Strings used as namespace delimiters in terms defined or referred to in ontology, as specified by statements formed with the SUO-KIF predicate docGenNamespaceDelimiter.
protected String	DocGen.getNamespacePrefix(KB kb, String term)	Returns the namespace prefix of term based on the namespaces known in kb, else returns the empty String if term appears to have no namespace prefix.
protected List<String>	DocGen.getNamespaces(KB kb, String ontology, boolean force)	Returns a List of all SUO-KIF terms denoting namespaces in kb or in ontology, using the predicates inNamespace and ontologyNamespace.
protected String	DocGen.getNearestContainingClass(KB kb, String term)	Returns the first containing Class that can be found for term in kb.
String	DocGen.getOntology(KB kb)	Returns a term denoting the default Ontology for this DocGen object if an Ontology has been set, and tries very hard to find a relevant Ontology if one has not been set.
protected List<String>	DocGen.getOntologyNamespaces(KB kb, String ontology)	Returns a List of all SUO-KIF terms denoting those namespaces containing terms that are defined in, or occur in, statements in ontology.
static List<String>	DocGen.getOutputFormatTokens(KB kb, String ontology)	Returns a List of String tokens that determine how the output should be formatted.
protected List<String>	DocGen.getPredicates(KB kb, boolean requireNamespace)	Collects and returns a List of all Predicates in kb.
static List<String>	DocGen.getRangeValueList(KB kb, String predicate)	Returns an ArrayList of Strings extracted from the range argument (arg2) of the first retrieved statement formed with predicate.
static Map<String,Integer>	RowVars.getRowVarMaxAritiesWithOtherArgs(Map<String,Set<String>> ar, KB kb, Formula f)
static Map<String,Integer>	RowVars.getRowVarMinAritiesWithOtherArgs(Map<String,Set<String>> ar, KB kb, Formula f)
protected List<String>	DocGen.getSubComponents(KB kb, String term)	Returns a List containing those terms that are immediate syntactic subordinates of term in kb.
protected List	DocGen.getSubordinateAttributes(KB kb, String kifTerm)	Returns a List containing the subordinate XmlAttributes of kifTerm, else return an empty List.
protected List	DocGen.getSubordinateElements(KB kb, String kifTerm)	Returns a List containing the subordinate XmlElements of kifTerm, else return an empty List.
protected List<String>	DocGen.getSuperComponents(KB kb, String term)	Returns a List containing those terms that are immediate syntactic superiors or "containers" of term in kb.
protected List	DocGen.getSyntacticCompositeTerms(KB kb, String term, int targetArgnum)
protected List	DocGen.getSyntacticExtensionTerms(KB kb, String term, int targetArgnum, boolean computeClosure)
protected List<String>	DocGen.getSyntacticSubordinateTerms(KB kb, String term)	Returns a List of the entities that are immediate syntactic subordinates of term in kb.
protected List	DocGen.getSyntacticUnionTerms(KB kb, String term, int targetArgnum)
static String	Mapping.getTermFormat(KB kb, String term)	Get the termFormat label for a term.
String	DocGen.getTermNamespace(KB kb, String term)
String	DocGen.getTermPresentationName(KB kb, String term)
String	DocGen.getTermPresentationName(KB kb, String namespace, String term)
String	DocGen.getTermPresentationName(KB kb, String namespace, String term, boolean withSpanTags)
Set<String>	Formula.getVarType(KB kb, String var)	Returns the type of a variable or null if it doesn't exist.
Map<String,Set<String>>	Formula.getVarTypes(KB kb)	Returns a map of the variable types.
protected static Set<Formula>	PredVarInst.handleDoubles(KB kb)	A bit of a hack to produce the statements that would result from the only two axioms in SUMO with two predicate variables
static String	PredVarInst.hasCorrectArity(Formula f, KB kb)	If arity is correct, return null, otherwise, return the predicate that has its arity violated in the given formula.
static boolean	KButilities.hasCorrectTypes(KB kb, Formula f)	Checks for consistent typing in the given formula
protected boolean	DocGen.hasSubComponents(KB kb, String term)	Returns true if term has syntactic subcomponents such as XML elements or XML attributes in kb, else returns false.
String	Formula.htmlFormat(KB kb, String href)	Format a formula for HTML presentation.
InferenceTestSuite.InfTestData	InferenceTestSuite.inferenceUnitTest(String testpath, KB kb)	The method will be called in InferenceTest in unit test; It takes a TQG file path, reading the kif statements and queries and expected answers; It parses the theorem prover's inference output for actual answers; Note that this procedure DOES NOT delete any prior user assertions.
static CCheckManager.CCheckStatus	KBmanager.initiateCCheck(KB kb, String chosenEngine, String systemChosen, String location, String language, int timeout)
static boolean	KButilities.instanceOfInstanceP(KB kb)	Find all cases of where (instance A B) (instance B C) as well as all cases of where (instance A B) (instance B C) (instance C D).
static Set<Formula>	PredVarInst.instantiatePredVars(Formula input, KB kb)
static boolean	KButilities.isAttribute(KB kb, String term)
static boolean	KButilities.isClass(KB kb, String term)
static boolean	DocGen.isComposite(KB kb, String term)	Returns true if term is an instance or subclass of CompositeContentBearingObject in kb, else returns false.
protected boolean	DocGen.isDataType(KB kb, String term)
boolean	Formula.isEpistemic(KB kb)
static boolean	KButilities.isFunction(KB kb, String term)
boolean	Formula.isHigherOrder(KB kb)	Test whether a Formula contains a Formula as an argument to other than a logical operator.
boolean	Formula.isHorn(KB kb)	Returns true only if this Formula is a horn clause or is simply modified to be horn by breaking out a conjunctive conclusion.
static boolean	KButilities.isInstance(KB kb, String term)
protected static boolean	DocGen.isInstanceOf(KB kb, String i, String c)	Returns true if i is an instance of c, else returns false.
boolean	Formula.isModal(KB kb)
boolean	Formula.isOtherHOL(KB kb)
static boolean	KButilities.isRelation(KB kb, String term)
boolean	Formula.isSimpleClause(KB kb)	Test whether a Formula is a simple list of terms (including functional terms).
boolean	Formula.isSimpleNegatedClause(KB kb)	Test whether a Formula is a simple clause wrapped in a negation.
protected static boolean	DocGen.isSkipNode(KB kb, String term)	Returns true if term should be skipped over during printing, else returns false.
boolean	Formula.isTemporal(KB kb)
boolean	Formula.isTFF(KB kb)
static boolean	KButilities.isValidFormula(KB kb, String form)	Checks for overall validity of the given formula
static boolean	KButilities.isVariableArity(KB kb, String term)
protected boolean	DocGen.isXmlAttribute(KB kb, String term)	Returns a List that constitutes the graph containing those XML elements and attributes syntactically subordinate to term in kb.
static String	Diagnostics.kbConsistencyCheck(KB kb)	Iterating through all formulas, return a proof of an inconsistent or redundant one, if such a thing exists.
void	KBmanager.loadKBforInference(KB kb)
static List<Set<VariableMapping>>	Formula.mapFormulaVariables(Formula f1, Formula f2, KB kb, Map<FormulaUtil.FormulaMatchMemoMapKey,List<Set<VariableMapping>>> memoMap)	Compares two formulae by recursively traversing its predicate structure and by building possible variable maps between the variables of the two formulae.
static List<String>	Diagnostics.membersNotInAnyPartitionClass(KB kb)	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.
void	KB.mergeKBs(KB kbIn)	Experimental: Utility method to perform a merge with the KB input
static Map<String,Set<String>>	KButilities.mergeToMap(Map<String,Set<String>> map1, Map<String,Set<String>> map2, KB kb)	utility method to merge two HashMaps of String keys and a values of an HashSet of Strings.
CCheckManager.CCheckStatus	CCheckManager.performConsistencyCheck(KB kb, String chosenEngine, String systemChosen, String location, String language, int timeout)	Main code that performs the consistency check on the KB.
Set<Formula>	FormulaPreprocessor.preProcess(Formula form, boolean isQuery, KB kb)	Pre-process a formula before sending it to the theorem prover.
static void	Diagnostics.printAllTerms(KB kb)
static String	EditGUI.printInstances(KB kb, String className)	Get and print all instances of a class
static String	Diagnostics.printTermDependency(KB kb, String kbHref)	Show file dependencies.
protected String	DocGen.processDocString(KB kb, String kbHref, String namespace, String docString, boolean isXmlDoc, boolean addHrefs)
static String	HTMLformatter.processNaturalLanguage(String lang, KB kb)
static List<Formula>	Diagnostics.quantifierNotInBody(KB kb)	Find cases where a variable appears in a quantifier list, but not in the body of the quantified expression.
static List<Formula>	Diagnostics.quantifierNotInBody(KB kb, String fname)	Find cases where a variable appears in a quantifier list, but not in the body of the quantified expression.
static List<String>	Diagnostics.relationsWithoutFormat(KB kb)	Find all relational terms that are missing an NLG format expression
protected String	DocGen.removeLinkableNamespacePrefixes(KB kb, String text)	Removes namespace prefixes from all SUO-KIF terms to be hyperlinked in text.
static String	Formula.removeTemporalRelations(String p_f, KB kb)	The purpose is to take simple HOL formula with temporal aspects and remove temporal aspects of it in an attempt to take it to FOL.
Formula	Formula.renameVariableArityRelations(KB kb, Map<String,String> relationMap)
protected List<Formula>	FormulaPreprocessor.replacePredVarsAndRowVars(Formula form, KB kb, boolean addHoldsPrefix)	Tries to successively instantiate predicate variables and then expand row variables in this Formula, looping until no new Formulae are generated.
static void	InferenceTestSuite.resetAllForInference(KB kb)	Undo all parts of the state that have anything to do with user assertions made during inference.
Set<String>	DocGen.resortKbTerms(KB kb)	Rebuilds the TreeSet containing all terms in kb, and forces the new TreeSet to sort according to each term's presentation name.
InferenceTestSuite.OneResult	InferenceTestSuite.runOne(KB kb, String engine, int timeoutSec, String tqPath, boolean modusPonens)	Thin wrapper for the JSP buttons: returns PASS/FAIL + time + a tiny HTML summary.
protected void	DocGen.saveIndexPages(KB kb, Map<String,Map<String,List<String>>> alphaList, String dir, String language)	Generate and save all the index pages that link to the individual term pages.
String	KButilities.semnetAsJSON3(KB kb, boolean cached, boolean strings)
void	DocGen.PresentationNameComparator.setKB(KB kbObj)
void	DocGen.setKB(KB kb)
void	DocGen.setMetaDataFromKB(KB kb, String ontology)	Tries to use the values obtained from kb and ontology to set some of the parameter values used for HTML generation.
void	DocGen.setOutputParentDir(KB kb, String ontology)	Sets the parent directory in which subdirectories for different types of output files will be created to the abstract pathname represented by a statement in kb formed with the predicate docGenOutputParentDirectory and the argument ontology.
protected String	DocGen.showCardinalityCell(KB kb, String kbHref, String term, String context)	Returns a String containing HTML markup for the Cardinality field of an HTML page displaying the definition of term in kb.
static String	HTMLformatter.showLanguageStats(KB kb, String lang)	Show knowledge base statistics
static String	HTMLformatter.showMap(KB kb, String term)	Show a map if coordinates are given in the kb
static String	HTMLformatter.showNeighborTerms(KB kb, String term)
static String	HTMLformatter.showNeighborTerms(KB kb, String nonRelTerm, String relTerm)	Show alphabetic list of neighbor terms
static String	HTMLformatter.showNumberPictures(KB kb, String term, int count)	Show knowledge base pictures
static String	HTMLformatter.showPictures(KB kb, String term)	Show knowledge base pictures
static String	HTMLformatter.showREMatches(KB kb, String relREmatch, String nonRelREmatch, String term)	Show list of 30 relation invalid input: '&' nonRelation terms that contain a match to the input RE term.
static String	HTMLformatter.showStatistics(KB kb)	Show knowledge base statistics with caching.
String	DocGen.showTermName(KB kb, String term, String language)	Returns the termFormat entry for term in kb and language, otherwise returns the termFormat entry for term in English, otherwise just returns the term name.
void	DocGen.sortByPresentationName(KB kb, String namespaceTerm, List<String> stringList)	Sorts stringList in place by the presentation name of each its terms, which could be very different from the raw term name.
protected String	DocGen.stripNamespacePrefix(KB kb, String term)	Returns term without its namespace prefix if it appears to have one in kb, else just returns term.
static List<String>	Diagnostics.termCapDiff(KB kb)	Find all terms that differ only in capitalization
static void	Diagnostics.termDefsByFile(KB kb)	Make a table of terms and the files in which they are defined
static void	Diagnostics.termDefsByGivenFile(KB kb, Set<String> files)	Make a table of terms and the files in which they are defined
static String	KButilities.termFormatIndex(KB kb)	List all the terms and their termFormat expressions.
static List<Formula>	KButilities.termIntersection(KB kb, String term1, String term2)	Get all formulas that contain both terms.
static boolean	Diagnostics.termNotBelowEntity(String term, KB kb)	Return a list of terms that do not have Entity as a parent term.
static List<String>	Diagnostics.termsNotBelowEntity(KB kb)	Return a list of terms that do not have Entity as a parent term.
static List<String>	Diagnostics.termsWithMultipleDoc(KB kb)	Return a list of terms that have more than one documentation string.
static List	Diagnostics.termsWithoutDoc(KB kb)	Return a list of terms that do not have a documentation string.
static List<String>	Diagnostics.termsWithoutRelation(KB kb, String rel, int argnum, char letter)	Return a list of terms (for a given argument position) that do not have a specified relation.
static List<String>	Diagnostics.termsWithoutRules(KB kb)	Find all terms which do not appear in any implication (rule).
static boolean	Diagnostics.termWithoutRules(KB kb, String term)	Term does not appear in any implication (rule).
static String	CELTTestSuite.test(KB kb)	Reads a KIF file consisting of pairs of (sentence...
String	InferenceTestSuite.test(KB kb)	Convenience method that sets default parameters
String	InferenceTestSuite.test(KB inputKB, int defaultTimeout, String TPTPlocation)	The main method that controls running a set of tests and returning the result as an HTML page showing test results and links to proofs.
String	InferenceTestSuite.test(KB kb, String systemChosen, int timeout)	Convenience method that sets some default parameters
protected String	DocGen.toKifNamespace(KB kb, String term)	Returns a SUO-KIF term denoting a namespace.
static List<Formula>	Diagnostics.unquantsInConseq(KB kb)
void	FormulaPreprocessor.winnowTypeList(Set<String> types, KB kb)	This method tries to remove all but the most specific relevant classes from a List of sortal classes.
static void	KButilities.writeDisplayText(KB kb, String displayFormatPredicate, String displayTermPredicate, String language, String fname)
static int	DB.writeSuoKifStatements(KB kb, String sourceFilePath)	Writes to sourceFilePath all Formulae in kb that have sourceFilePath as source file.

Constructors in com.articulate.sigma with parameters of type KB

Modifier	Constructor	Description
	CCheck(KB kb, String filename)
	CCheck(KB kb, String fileName, String chosenEngine, int timeout)
	CCheck(KB kb, String fileName, String chosenEngine, String systemChosen, String quietFlag, String location, String language, int timeout)
	KB(KB kbIn)	Perform a deep copy of the kb input
	KBcache(KB kbin)
	KBcache(KBcache kbCacheIn, KB kbIn)

Uses of KB in com.articulate.sigma.dataProc

Methods in com.articulate.sigma.dataProc with parameters of type KB

Modifier and Type	Method	Description
static void	Diagnosis.diagnose(KB kb)
static String	Diagnosis.doDiagnosis(KB kb)
static String	Diagnosis.doTreatment(KB kb, String diag)
static int	Diagnosis.incTime(KB kb, String treat)

Uses of KB in com.articulate.sigma.nlg

Methods in com.articulate.sigma.nlg with parameters of type KB

Modifier and Type	Method	Description
static boolean	NLGUtils.containsProcess(Collection<String> vals, KB kb)	Return true if the given list includes "Process", or if one of its elements is a subclass of Process.
static String	SumoProcessCollector.getProperFormOfEntity(String entity, KB kb)	Retain capitalization of names and reified instances by lower-casing if the entity is an Entity.
String	SumoProcessEntityProperty.getSurfaceFormForNoun(String noun, KB kb)	For a given property, combine it with the given noun into a natural-sounding expression.
static String	NLGUtils.htmlParaphrase(String href, String stmt, Map<String,String> phraseMap, Map<String,String> termMap, KB kb, String language)	Hyperlink terms in a natural language format string.
static void	LanguageFormatter.setKB(KB kbin)
static boolean	Noun.takesIndefiniteArticle(String noun, KB kb)	Determine whether the given noun requires an indefinite article ("a"/"an").
static CaseRole	CaseRole.toCaseRole(String input, KB kb)	Return a valid case role based on the string input.
void	LanguageFormatterStack.translateCurrProcessInstantiation(KB kb, Formula formula)	If possible, translate the process instantiation and insert the translation into the topmost stack element.
static String	LanguageFormatter.variableReplace(String form, Map<String,Set<String>> instMap, Map<String,Set<String>> classMap, KB kb, String language)	Replace variables in a formula with paraphrases expressing their type.

Constructors in com.articulate.sigma.nlg with parameters of type KB

Modifier	Constructor	Description
	LanguageFormatter(String stmt, Map<String,String> phraseMap, Map<String,String> termMap, KB kb, String language)
	Sentence(com.google.common.collect.Multimap<CaseRole,String> roles, SumoProcess process, KB inKB, com.google.common.collect.Multimap<String,SumoProcessEntityProperty> properties)	Constructor.
	SumoProcess(SumoProcess process, KB kb)
	SumoProcess(String verb, KB kb)
	SumoProcessCollector(KB kb, String role, String process, String entity)	Construct a SumoProcessCollector.

Uses of KB in com.articulate.sigma.parsing

Fields in com.articulate.sigma.parsing declared as KB

Modifier and Type	Field	Description
static KB	Preprocessor.kb
KB	RowVar.kb

Constructors in com.articulate.sigma.parsing with parameters of type KB

Modifier	Constructor	Description
	PredVarInst(KB kbin)
	Preprocessor(KB kbin)
	RowVar(KB kbin)
	Sortals(KB kbin)
	VarTypes(Collection<FormulaAST> set, KB kbinput)

Uses of KB in com.articulate.sigma.tp

Methods in com.articulate.sigma.tp with parameters of type KB

Modifier and Type	Method	Description
boolean	EProver.assertFormula(String userAssertionTPTP, KB kb, EProver eprover, List<Formula> parsedFormulas, boolean tptp)	Add an assertion for inference.
static boolean	LEO.assertFormula(String userAssertionTPTP, KB kb, List<Formula> parsedFormulas, boolean tptp)	Add an assertion for inference.
static boolean	Vampire.assertFormula(String userAssertionTPTP, KB kb, List<Formula> parsedFormulas, boolean tptp)	Add an assertion for inference.
List<String>	LEO.getUserAssertions(KB kb)
List<String>	Vampire.getUserAssertions(KB kb)
void	LEO.run(KB kb, File kbFile, int timeout, Set<String> stmts)	Creates a running instance of LEO-III adding a set of statements in THF language to a file and then calling LEO.
void	Vampire.run(KB kb, File kbFile, int timeout, Set<String> stmts)	Creates a running instance of Vampire adding a set of statements in TFF or TPTP language to a file and then calling Vampire.
String	EProver.submitQuery(String formula, KB kb)	Submit a query.

Uses of KB in com.articulate.sigma.trans

Fields in com.articulate.sigma.trans declared as KB

Modifier and Type	Field	Description
static KB	DB2KIF.kb
static KB	KIF2DB.kb
KB	KIF2SQL.kb
KB	OWLtranslator.kb
KB	SUMOKBtoTPTPKB.kb
static KB	SUMOtoTFAform.kb

Methods in com.articulate.sigma.trans with parameters of type KB

Modifier and Type	Method	Description
static void	Modals.addAccrelnDef(KB kb)	Add the signature for the Kripke accessibility relation
static Formula	THFnew.adjustArity(KB kb, Formula f)	Adding the world argument messes up pre-processing for variable arity relations, so we have to decrement the numerical suffix as a hack.
static void	THFnew.analyzeBadUsages(KB kb)
static String	CWAUNA.buildExclusions(KB kb, String rel)	build the big axiom that creates the closed word for each closed relation
static boolean	TPTPutil.citation(String sumoStep, String stepName, KB kb)	Is there a citation as a containsFormula relation for this axiom?
static void	Modals.doTQM10Tests(KB kb)	Tests based on ~/workspace/sumo/tests/TQM10.kif Uses same KB instance as main method
static boolean	THFnew.exclude(Formula f, KB kb, Writer out)	Decide whether to exclude a formula from THF export.
static boolean	THFnew.excludeNonModal(Formula f, KB kb, Writer out)
String	TPTP3ProofProcessor.findTypesForSkolemTerms(KB kb)	*************************************************************** Returns the most specific type for skolem variable.
static void	TPTPGenerationManager.generateFOF(KB kb)	Generate FOF (First-Order Form) TPTP file for a KB.
static void	TPTPGenerationManager.generateProperFile(KB kb, String lang)
static String	TPTPutil.getCitationString(String sumoStep, String stepName, KB kb)	Is there a citation as a containsFormula relation for this axiom?
static Formula	Modals.handleHOL3pred(Formula f, KB kb, Integer worldNum)	Handle the predicates given in regHOL3pred, which have a parameter followed by a formula.
static Formula	Modals.handleHOLpred(Formula f, KB kb, Integer worldNum)	Handle predicates in regHOLpred that take an individual and a formula argument, e.g.
static Formula	Modals.handleModalAttribute(Formula f, KB kb, Integer worldNum)	Handle the predicate modalAttribute: (modalAttribute F M) is read as: "F holds in all worlds accessible via modality M".
List<String>	THF.KIF2THF(Collection<Formula> axiomsC, Collection<Formula> conjecturesC, KB kb)	The main function to convert KIF problems into TPTP THF representation; see the explanation at top of this file.
static String	THFnew.makeWorldVar(KB kb, Formula f)
String	THF.oneKIF2THF(Formula form, boolean conjecture, KB kb)
static void	THFnew.oneTrans(KB kb, Formula f, PrintWriter bw)
static void	THFnew.oneTransNonModal(KB kb, Formula f, Writer bw)
List<String>	TPTP3ProofProcessor.parseAnswerTuples(List<String> st, String strQuery, KB kb, StringBuilder qlist)	*************************************************************** Return a list of answers if prover finds bindings for wh- queries.
void	TPTP3ProofProcessor.parseProofFromFile(String filename, KB kb)	***************************************************************
void	TPTP3ProofProcessor.parseProofOutput(LineNumberReader lnr, KB kb)	*************************************************************** Compute bindings and proof from theorem prover's response
void	TPTP3ProofProcessor.parseProofOutput(String st, KB kb)	***************************************************************
void	TPTP3ProofProcessor.parseProofOutput(List<String> lines, String kifQuery, KB kb, StringBuilder qlist)	Parses TPTP (Thousands of Problems for Theorem Provers) proof output from a theorem prover and extracts proof steps, answer bindings, and status information.
static Formula	Modals.processModals(Formula f, KB kb)
static Formula	Modals.processRecurse(Formula f, KB kb, Integer worldNum)
static List<String>	CWAUNA.run(KB kb)	Collect all constants for types (and subclasses) required for ClosedWorldPredicate(s) and their subrelation(s) and assert them as $distinct.
static void	CWAUNA.runold(KB kb)	Collect all constants used in ClosedWorldPredicate(s) and their subrelation(s) and assert them as $distinct.
static String	THFnew.sigString(String functor, List<String> sig, KB kb, boolean function)	Build a THF type string from a SUMO signature.
static String	THFnew.sigStringNonModal(String pred, List<String> sig, KB kb, boolean function)
static void	THF.test(KB kb)
static void	THFnew.test(KB kb)
Set<String>	SUMOformulaToTPTPformula.tptpParse(Formula input, boolean query, KB kb)	Deprecated.
void	SUMOformulaToTPTPformula.tptpParse(Formula input, boolean query, KB kb, Set<Formula> preProcessedForms)	Deprecated.
static String	SUMOKBtoTFAKB.translateSort(KB kb, String s)	Translate SUMO class names to their appropriate TFF sort
static List<String>	THF.transModalTHF(KB kb)
static void	THFnew.transModalTHF(KB kb)
static void	THFnew.transPlainTHF(KB kb)
static List<String>	THF.transTHF(KB kb)
static boolean	THFnew.variableArity(KB kb, String pred)
static void	THFnew.writeIntegerTypes(KB kb, Writer out)
static void	THF.writeTHF(KB kb, List<String> kbAll2)
static void	THFnew.writeTypes(KB kb, Writer out)
static void	THFnew.writeTypesNonModal(KB kb, Writer out)

Uses of KB in com.articulate.sigma.VerbNet

Fields in com.articulate.sigma.VerbNet declared as KB

Modifier and Type	Field	Description
static KB	VerbNet.kb

Uses of KB in com.articulate.sigma.wordNet

Methods in com.articulate.sigma.wordNet with parameters of type KB

Modifier and Type	Method	Description
static void	OMWordnet.generateOMWOWLformat(KB kb)
String	WordNet.nounSynsetFromTermFormat(String tf, String SUMOterm, KB kb)	Generate a new noun synset from a termFormat
void	WordNet.synsetFromTermFormat(Formula form, String tf, String SUMOterm, KB kb)	Generate a new synset from a termFormat statement
static List<String>	WNdiagnostics.synsetsWithoutFoundTerms(KB kb)
void	WordNet.termFormatsToSynsets(KB kb)	Generate a new synset from a termFormat
String	WordNet.verbSynsetFromTermFormat(String tf, String SUMOterm, KB kb)	Generate a new verb synset from a termFormat
void	WordNet.writeProlog(KB kb)