Theory DME

The DME ontology defines concepts shared across DME domain theories.

• Last modified: Wednesday, 2 February 1994
• Source code: dme.lisp
• List of other known theories

Theories included by 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 ...

Theories that include Dme:

    Thermodynamics

8 classes defined:

    All=
    Connection
    Junction
    Operating-Mode-Model
    Structural-Element-Model
    System-Model
    Terminal
    Thing

1 relation defined:

• 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
• Binary-Relation defined as a class in theory Kif-Relations
• Binary-Relation defined as a class in theory Frame-Ontology
• Class defined as a class in theory Frame-Ontology
• Documentation defined as a relation in theory Frame-Ontology
• Entity defined as a class in theory Cml
• Model-Fragment defined as a class in theory Cml
• Relation defined as a class in theory Kif-Relations
• Relation defined as a class in theory Frame-Ontology
• Set defined as a class in theory Kif-Sets
• Subclass-Of defined as a relation in theory Frame-Ontology

All constants that were mentioned were defined.

Class SYSTEM-MODEL

A SYSTEM-MODEL is an aggragate entity.

Subclass-Of: Entity

• Defined in theory: Dme
• Source code: dme.lisp

Class OPERATING-MODE-MODEL

An OPERATING-MODE-MODEL is a model-fragment that describes the behavior of a modeled object under a particular operating regime.

Subclass-Of: Model-fragment

• Defined in theory: Dme
• No source file available.

Class STRUCTURAL-ELEMENT-MODEL

A STRUCTURAL-ELEMENT-MODEL is an entity that directly corresponds to a physical component or device such as a pump or container.

Subclass-Of: Entity

• Defined in theory: Dme
• Source code: dme.lisp

Class THING

A THING is the most general type of physical object.

Subclass-Of: Entity

• Defined in theory: Dme
• Source code: dme.lisp
• Also defined in: Frame-ontology

Class TERMINAL

In DME, all connections occur over a TERMINAL.

Subclass-Of: Entity

• Defined in theory: Dme
• Source code: dme.lisp

Class JUNCTION

A JUNCTION is a conceptual entity that represents the connection between a set of terminals.

• Defined in theory: Dme
• Source code: dme.lisp

Class CONNECTION

A CONNECTION is a binary relation that expresses a kind of connection between two entities. It is a second order relation.

Subclass-Of: Binary-relation

• Defined in theory: Dme
• Source code: dme.lisp

Relation CONNECTED-TERMINALS

When two terminals are connected together, then the CONNECTED-TERMINALS relation holds between them.

Arity: 2

• Defined in theory: Dme
• Source code: dme.lisp

Class ALL=

A set is ALL= if all of its elements are equal.

Subclass-Of: Set

• Defined in theory: Dme
• Source code: dme.lisp