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

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

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

(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)))