Theory CML

• Last modified: Thursday, 22 September 1994
• Source code: cml.lisp
• List of other 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.

The following constants were used from included theories:

• < defined as a relation in theory Kif-Numbers
• < defined as a relation in theory Physical-Quantities
• < defined as a relation in theory Unary-Scalar-Functions
• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Constant-Quantity defined as a class in theory Physical-Quantities
• D/Dt defined as a function in theory Unary-Scalar-Functions
• Defined defined as a class in theory Kif-Extensions
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Exact-Domain defined as a function in theory Frame-Ontology
• Function defined as a class in theory Kif-Relations
• Function-Quantity defined as a class in theory Physical-Quantities
• Holds defined as a relation in theory Kif-Relations
• Individual-Thing defined as a class in theory Frame-Ontology
• Instance-Of defined as a relation in theory Frame-Ontology
• Member defined as a relation in theory Kif-Sets
• Nth-Domain defined as a relation in theory Frame-Ontology
• Physical-Dimension defined as a class in theory Physical-Quantities
• Physical-Quantity defined as a class in theory Physical-Quantities
• Quantity.Dimension defined as a function in theory Physical-Quantities
• Range defined as a relation in theory Frame-Ontology
• Relation defined as a class in theory Kif-Relations
• Set defined as a class in theory Kif-Sets
• String defined as a class in theory Kif-Extensions
• Subclass-Of defined as a relation in theory Frame-Ontology
• Subrelation-Of defined as a relation in theory Frame-Ontology
• Time-Dependent-Quantity defined as a class in theory Unary-Scalar-Functions
• Time-Quantity defined as a class in theory Unary-Scalar-Functions
• Total-On defined as a relation in theory Frame-Ontology
• Unary-Function defined as a class in theory Kif-Relations
• Unary-Scalar-Function-Quantity defined as a class in theory Unary-Scalar-Functions
• Value defined as a function in theory Kif-Relations
• Value-At defined as a function in theory Unary-Scalar-Functions
• Value-Cardinality defined as a function in theory Frame-Ontology
• Value-Type defined as a relation in theory Frame-Ontology

The following constants were undefined:

Facet