You can see the hierarchy of ontologies used by the Thermodynamics domain theory in
the following excerpt from the report automatically generated by
Ontolingua. Each link points to the full indexed theory.
The Dme ontology defines concepts that are
shared across all DME theories such as junction and system-model.
The Cml ontology defines the
concepts that are essential to the semantics of the CML language such
as active and model fragment.
Theories included by Thermodynamics:
No theories include Thermodynamics.
123 classes defined:
The Cml ontology uses concepts that are
defined in the Engineering Math ontologies. For instance, a
time dependent relation
employs the definition of a time quantity,
which is defined in the Unary-Scalar-Functions
ontology. You can continue to follow the chain along quantity.dimension
and so on.