Search Java Classes and Packages

Search Java Frameworks and Libraries

255581 classes and counting ...
Search Tips Index Status



#Org.jscience.linguistics.kif Classes and Interfaces - 18 results found.
NameDescriptionTypePackageFramework
BasicXMLelementA class designed to mirror the information in a basic XML tag.Classorg.jscience.linguistics.kifJScience
BasicXMLparserParses simple XML into a hierarchy of BasicXMLelement (s).Classorg.jscience.linguistics.kifJScience
CELTClass for invoking CELT.Classorg.jscience.linguistics.kifJScience
DiagnosticsA class that finds problems in a knowledge base.Classorg.jscience.linguistics.kifJScience
EditClass for invoking a client side text editor.Classorg.jscience.linguistics.kifJScience
FormulaHandle operations on an individual formula.Classorg.jscience.linguistics.kifJScience
GraphHandle operations for creating a graphical representation of partial ordering relations.Classorg.jscience.linguistics.kifJScience
HTMLformatterA utility class that creates HTML-formatting Strings for variousConstructor SummaryHTMLformatter()Classorg.jscience.linguistics.kifJScience
KB**************************************************************** Contains methods for reading, writing knowledge bases and theirClassorg.jscience.linguistics.kifJScience
KBmanagerThis is a class that manages a group of knowledge bases.Classorg.jscience.linguistics.kifJScience
KIF**************************************************************** A class designed to read a file in SUO-KIF format into memory.Classorg.jscience.linguistics.kifJScience
KIFplusA class designed to adhere strictly to the SUO-KIF definition at http://suo.Classorg.jscience.linguistics.kifJScience
NLformatterA class that handles the generation of natural language from logic.Classorg.jscience.linguistics.kifJScience
ProofProcessorProcess results from the Vampire inference engine.Classorg.jscience.linguistics.kifJScience
ProofStepA trivial structure to hold the elements of a proof step.Classorg.jscience.linguistics.kifJScience
StreamTokenizer_sClassorg.jscience.linguistics.kifJScience
VampireClass for invoking the KIF version of Vampire from Java.Classorg.jscience.linguistics.kifJScience
WordNetThis program finds and displays SUMO terms that are related in meaning to the English expressions that are entered as input.Classorg.jscience.linguistics.kifJScience