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