# Theory DME

The DME ontology defines concepts shared across DME domain 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```

### No instances defined.

The following constants were used from included theories:

All constants that were mentioned were defined.

## Class SYSTEM-MODEL

A SYSTEM-MODEL is an aggragate entity.
Subclass-Of: Entity

## 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

## Class THING

A THING is the most general type of physical object.
Subclass-Of: Entity

## Class TERMINAL

In DME, all connections occur over a TERMINAL.
Subclass-Of: Entity

## Class JUNCTION

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

## 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

## Relation CONNECTED-TERMINALS

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

## Class ALL=

A set is ALL= if all of its elements are equal.
Subclass-Of: Set

This document was generated using Ontolingua.
Formatting and translation code was written by
François Gerbaux and Tom Gruber