Class PORT

• Defined in theory: Thermal-system
• Source code: thermal-system.ol

Slots on this class:

Documentation:

In the thermal domain, all the ports are fluid ports.

Unlike 'terminal' in DME, a port is independent of a component.

It is a combination of a 'joint' and a 'terminal'.

Subclass-Of: Entity, Thermal-component

Arity: 1

Has-Quantity-Function: Port-area, Port-elevation

---

Slots on instances of this class:

Port-Area:

Slot-Cardinality: 1

Slot-Documentation:

the area of the cross section of the port

Port-Elevation:

Slot-Cardinality: 1

Slot-Documentation:

the elevation of the port with respect to some reference point

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time Port ?Self)
             (And (Port ?Self)
                  (Active ?Time Thermal-Component ?Self))))

(=> (Port ?Self)
    (And (Quantity.Dimension (Port-Area ?Self) Area-Dimension)
         (Quantity.Dimension (Port-Elevation ?Self) Length-Dimension)))