Theories included by Artifacts:
Theories that include Artifacts:
3 classes defined:
No relations defined.
No functions defined.
No instances defined.
The following constants were used from included theories:
The following constants were used from theories not included:
All constants that were mentioned were defined.
This document was generated using Ontolingua.
Formatting and translation code was written by
François Gerbaux and Tom Gruber