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'.

Instance-Of: Class

Subclass-Of: Entity, Thermal-component

Arity: 1

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

Port-Area:

Slot-Documentation:

the area of the cross section of the port

Port-Elevation:

Slot-Documentation:

the elevation of the port with respect to some reference point

Range-Of:

Component-inlet, Component-inlet1, Component-inlet2, Component-inlet3, Component-outlet, Component-outlet1, Component-outlet2

---

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:

(Quantity.Dimension (Port-Elevation ?Self) Length-Dimension)

(Quantity.Dimension (Port-Area ?Self) Area-Dimension)

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

Other Related Axioms:

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

(Quantity-Function-Of Port-Area Port)

(Quantity-Function-Of Port-Elevation Port)

(Inherited-Facet-Value Slot-Value-Type
                       1-Input-Thermal-Component
                       Component-Inlet
                       Port)

(=> (1-Input-Thermal-Component ?Self)
    (And (Value-Cardinality ?Self Component-Inlet 1)
         (Value-Type ?Self Component-Inlet Port)
         (Value-Cardinality ?Self Component-Inlet 1)))

(=> (Component-Inlet $X $Y) (Port $Y))

(Inherited-Facet-Value Slot-Value-Type
                       1-Output-Thermal-Component
                       Component-Outlet
                       Port)

(=> (1-Output-Thermal-Component ?Self)
    (And (Value-Cardinality ?Self Component-Outlet 1)
         (Value-Type ?Self Component-Outlet Port)
         (Value-Cardinality ?Self Component-Outlet 1)))

(=> (Component-Outlet $X $Y) (Port $Y))

(Inherited-Facet-Value Slot-Value-Type
                       2-Input-Thermal-Component
                       Component-Inlet2
                       Port)

(Inherited-Facet-Value Slot-Value-Type
                       2-Input-Thermal-Component
                       Component-Inlet1
                       Port)

(=> (2-Input-Thermal-Component ?Self)
    (And (Value-Cardinality ?Self Component-Inlet1 1)
         (Value-Type ?Self Component-Inlet1 Port)
         (Value-Cardinality ?Self Component-Inlet1 1)
         (Value-Cardinality ?Self Component-Inlet2 1)
         (Value-Type ?Self Component-Inlet2 Port)
         (Value-Cardinality ?Self Component-Inlet2 1)))

(=> (Component-Inlet1 $X $Y) (Port $Y))

(=> (Component-Inlet2 $X $Y) (Port $Y))

(Inherited-Facet-Value Slot-Value-Type
                       3-Input-Thermal-Component
                       Component-Inlet3
                       Port)

(=> (3-Input-Thermal-Component ?Self)
    (And (Value-Cardinality ?Self Component-Inlet3 1)
         (Value-Type ?Self Component-Inlet3 Port)
         (Value-Cardinality ?Self Component-Inlet3 1)))

(=> (Component-Inlet3 $X $Y) (Port $Y))

(Inherited-Facet-Value Slot-Value-Type
                       2-Output-Thermal-Component
                       Component-Outlet2
                       Port)

(Inherited-Facet-Value Slot-Value-Type
                       2-Output-Thermal-Component
                       Component-Outlet1
                       Port)

(=> (2-Output-Thermal-Component ?Self)
    (And (Value-Cardinality ?Self Component-Outlet1 1)
         (Value-Type ?Self Component-Outlet1 Port)
         (Value-Cardinality ?Self Component-Outlet1 1)
         (Value-Cardinality ?Self Component-Outlet2 1)
         (Value-Type ?Self Component-Outlet2 Port)
         (Value-Cardinality ?Self Component-Outlet2 1)))

(=> (Component-Outlet1 $X $Y) (Port $Y))

(=> (Component-Outlet2 $X $Y) (Port $Y))