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 the Simplified BSD License.
Most components have (or will have!) two descriptions:
Both the specifications and the axioms use a set of relations that are defined in our slot dictionary.
The KM axioms for most components include "test-cases". These test cases are executed every day to ensure that errors have not crept into the component library.
Building the Component Library is a long-term project, and we've only just begun. So, please visit us again to see what's new. If you would like to use the Component Library, or contribute to it (!), please contact Bruce Porter.