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.
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
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
== Final-Time Initial-Time Scenario.Participants Slot-Documentation
The following constants were used from included theories:
The following constants were undefined: