The DME ontology defines concepts shared across DME domain theories.
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 ...
All= Connection Junction Operating-Mode-Model Structural-Element-Model System-Model Terminal Thing
The following constants were used from included theories:
All constants that were mentioned were defined.
A SYSTEM-MODEL is an aggragate entity.
An OPERATING-MODE-MODEL is a model-fragment that describes the behavior of a modeled object under a particular operating regime.
A STRUCTURAL-ELEMENT-MODEL is an entity that directly corresponds to a physical component or device such as a pump or container.
A THING is the most general type of physical object.
In DME, all connections occur over a TERMINAL.
A JUNCTION is a conceptual entity that represents the connection between a set of terminals.
A CONNECTION is a binary relation that expresses a kind of connection between two entities. It is a second order relation.
When two terminals are connected together, then the CONNECTED-TERMINALS relation holds between them.
A set is ALL= if all of its elements are equal.