Extensions to the base CML theory for DME.
Cross Reference Report:
Theories included by Dme-Cml:
Theories that include Dme-Cml:
5 classes defined:
2 relations defined:
No functions defined.
No instances defined.
The following constants were used from included theories:
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