Theory CML

• Last modified: Thursday, 22 September 1994
• Source code: cml.lisp
• List of all known theories

Theory documentation:

The CML ontology is the theory underlying the CML language. It defines the basic concepts, such as model-fragment and time-dependent-relation, that are assumed in the language. It gives axiomatic semantics for the notion of time and change inherent in CML. The CML ontology is built upon the Engineering Math ontologies, extending the unary-scalar-functions and standard-units theories.

Notes:

• See discussion about has-quantity-function

Cross Reference Report:

Theories included by Cml:

  Unary-Scalar-Functions

Theories that include Cml:

  Dme-Cml
  Thermal-System

17 classes defined:

    Attribute-Function
    Count-Quantity
    Entity
    Everywhere-Continuous-Function
    Infinite
    Model-Fragment
    Non-Numeric-Quantity
    Participant-Function
    Piecewise-Continuous-Function
    Piecewise-Continuous-Quantity
       Everywhere-Continuous-Quantity
          Standard-Quantity
    Quantity-Function
    Scenario
    Step-Quantity
    Time-Dependent-Relation
       Time-Dependent-Function

16 relations defined:

  Active
  Attribute-Function-Total-On
  C+
  C-
  Continuous-At
  Continuous-Over
  Has-Attribute-Function
  Has-Participant-Function
  Has-Quantity-Function
  M+
  M-
  Participant-Function-Total-On
  Qprop+
  Qprop-
  Quantity-Function-Dimension
  Quantity-Function-Total-On

5 functions defined:

  ==
  Final-Time
  Initial-Time
  Scenario.Participants
  Slot-Documentation

No instances defined.

17 classes defined:

  Attribute-Function
  Count-Quantity
  Entity
  Everywhere-Continuous-Function
  Everywhere-Continuous-Quantity
  Infinite
  Model-Fragment
  Non-Numeric-Quantity
  Participant-Function
  Piecewise-Continuous-Function
  Piecewise-Continuous-Quantity
  Quantity-Function
  Scenario
  Standard-Quantity
  Step-Quantity
  Time-Dependent-Function
  Time-Dependent-Relation

The following constants were undefined:

Facet