Theory DME-CML

• Last modified: Friday, 16 September 1994
• Source code: dme-cml.lisp
• List of other known theories

Theory documentation:

Extensions to the base CML theory for DME.

Cross Reference Report:

Theories included by Dme-Cml:

  Cml
  Component-Assemblies

Theories that include Dme-Cml:

  Thermal-System

5 classes defined:

    Operating-Mode-Model
    Structural-Element-Model
       Junction
       Terminal
       System-Model

2 relations defined:

  All=
  Connected-Terminals

No functions defined.

No instances defined.

The following constants were used from included theories:

• Arity defined as a function in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Documentation defined as a relation in theory Frame-Ontology
• Domain defined as a relation in theory Frame-Ontology
• Member defined as a relation in theory Kif-Sets
• Model-Fragment defined as a class in theory Cml
• 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
• Subclass-Of defined as a relation in theory Frame-Ontology
• Value-At defined as a function in theory Unary-Scalar-Functions

All constants that were mentioned were defined.