Class HEAT-EXCHANGER

Slots on this class:

Documentation:
a device that transfer energy between fluids at different temperatures
Subclass-Of: Entity, Thermal-component
Arity: 1
Has-Quantity-Function:
Area, Heat-transfer-rate, Ideal-heat-rate, Max-heat-rate, Max-pressure, Max-temperature, Overall-heat-transfer-coefficient

Slots on instances of this class:

Area:
Slot-Cardinality: 1
Slot-Documentation:
the surface area through heat is exchanged
Heat-Transfer-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the rate at which heat is transfered inside the heat exchanger
Ideal-Heat-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the ideal heat transfer rate
Max-Heat-Rate:
Slot-Cardinality: 1
Slot-Documentation:
the maximum heat transfer rate
Max-Pressure:
Slot-Cardinality: 1
Slot-Documentation:
the maximum pressure inside the heat exchanger
Max-Temperature:
Slot-Cardinality: 1
Slot-Documentation:
the maximum temperature inside the heat exchanger
Overall-Heat-Transfer-Coefficient:
Slot-Cardinality: 1
Slot-Documentation:
the overall heat transfer coefficient of the heat exchanger

Axioms:

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

(=> (Heat-Exchanger ?Self)
    (And (Quantity.Dimension (Area ?Self) Area-Dimension)
         (Quantity.Dimension (Overall-Heat-Transfer-Coefficient ?Self)
                             Dimensionless)
         (Quantity.Dimension (Heat-Transfer-Rate ?Self)
                             Power-Dimension)
         (Quantity.Dimension (Max-Pressure ?Self) Pressure-Dimension)
         (Quantity.Dimension (Max-Temperature ?Self)
                             Temperature-Dimension)
         (Quantity.Dimension (Max-Heat-Rate ?Self) Power-Dimension)
         (Quantity.Dimension (Ideal-Heat-Rate ?Self) Power-Dimension)))