Thermodynamics Ontologies

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:

    Dme
       Cml
          Unary-Scalar-Functions
             Physical-Quantities
                Frame-Ontology
                   Kif-Relations
                      Kif-Sets
                      Kif-Lists
                         Kif-Numbers
                Abstract-Algebra
                   Frame-Ontology ...
             Standard-Units
                Physical-Quantities ...
          Standard-Units ...
    Cml ...

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.