We are building a library of formal representations of common actions, entities, and modifiers to enable building knowledge bases efficiently. The components are implemented in KM, our language for knowledge representation and automated reasoning. Both the Component Library and KM are protected by copyright, but are distributed under a GNU license.

Most components have (or will have!) two descriptions:

• The specification defines the component and gives its relations and properties. The general form of specifications is given here.
• The set of axioms for the component is a KM representation that supports automated reasoning and question-answering.

Both the specifications and the axioms use a set of relations and properties that are defined in our slot dictionary.

In the taxonomy displayed to the left, component names are green when they have been released for general use. Components displayed in red have not yet been released. Components displayed in yellow are not connected to our taxonomy, either because of some error or because they are very preliminary.

Many of the terms in the taxonomy are from biology, which is our application area, and one textbook (by Alberts) in particular. The display of these terms follows this color scheme: terms that originate in Chapter 7 of the Alberts text are displayed in Blue , and terms that originate earlier are displayed in magenta . There should be no Blue components in the tree! If there is, please let us know!