Name | Description | Type | Package | Framework |
BasicXMLelement | A class designed to mirror the information in a basic XML tag. | Class | org.jscience.linguistics.kif | JScience |
BasicXMLparser | Parses simple XML into a hierarchy of BasicXMLelement (s). | Class | org.jscience.linguistics.kif | JScience |
CELT | Class for invoking CELT. | Class | org.jscience.linguistics.kif | JScience |
Diagnostics | A class that finds problems in a knowledge base. | Class | org.jscience.linguistics.kif | JScience |
Edit | Class for invoking a client side text editor. | Class | org.jscience.linguistics.kif | JScience |
Formula | Handle operations on an individual formula. | Class | org.jscience.linguistics.kif | JScience |
Graph | Handle operations for creating a graphical representation of partial ordering relations. | Class | org.jscience.linguistics.kif | JScience |
HTMLformatter | A utility class that creates HTML-formatting Strings for variousConstructor SummaryHTMLformatter() | Class | org.jscience.linguistics.kif | JScience |
KB | **************************************************************** Contains methods for reading, writing knowledge bases and their | Class | org.jscience.linguistics.kif | JScience |
KBmanager | This is a class that manages a group of knowledge bases. | Class | org.jscience.linguistics.kif | JScience |
KIF | **************************************************************** A class designed to read a file in SUO-KIF format into memory. | Class | org.jscience.linguistics.kif | JScience |
KIFplus | A class designed to adhere strictly to the SUO-KIF definition at http://suo. | Class | org.jscience.linguistics.kif | JScience |
NLformatter | A class that handles the generation of natural language from logic. | Class | org.jscience.linguistics.kif | JScience |
ProofProcessor | Process results from the Vampire inference engine. | Class | org.jscience.linguistics.kif | JScience |
ProofStep | A trivial structure to hold the elements of a proof step. | Class | org.jscience.linguistics.kif | JScience |
StreamTokenizer_s | Class | org.jscience.linguistics.kif | JScience | |
Vampire | Class for invoking the KIF version of Vampire from Java. | Class | org.jscience.linguistics.kif | JScience |
WordNet | This program finds and displays SUMO terms that are related in meaning to the English expressions that are entered as input. | Class | org.jscience.linguistics.kif | JScience |