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

**Documentation:**the class of all thermal processes

**Subclass-Of:**Model-fragment**Arity:**1**Has-Quantity-Function:**- Entropy-generation-rate, Heat-rate, Heat-transfer-temperature, Internally-reversible-p, Irreversibility-rate, Work-rate

**Entropy-Generation-Rate:***Slot-Cardinality:*1*Slot-Documentation:*the rate at which entropy is generated by the process

**Heat-Rate:***Slot-Cardinality:*1*Slot-Documentation:*the rate at which energy is transferred in across the system boundary by heat transfer

**Heat-Transfer-Temperature:***Slot-Cardinality:*1*Slot-Documentation:*the temperatue at which energy is transferred in across the system boundary by heat transfer

**Internally-Reversible-P:***Slot-Cardinality:*1*Slot-Documentation:*the attribute indicating that the process is internally reversible

**Irreversibility-Rate:***Slot-Cardinality:*1*Slot-Documentation:*the rate of the destruction of availability due to ierreversibilities within the process

**Work-Rate:***Slot-Cardinality:*1*Slot-Documentation:*the rate at which energy is trasferred out across the system boundary by work

(Forall (?Self ?Time) (<=> (Active ?Time Thermal-Process ?Self) (Thermal-Process ?Self))) (=> (Thermal-Process ?Self) (And (Quantity.Dimension (Work-Rate ?Self) Power-Dimension) (Quantity.Dimension (Heat-Rate ?Self) Power-Dimension) (Quantity.Dimension (Heat-Transfer-Temperature ?Self) Temperature-Dimension) (Quantity.Dimension (Entropy-Generation-Rate ?Self) Entropy-Rate-Dimension) (Quantity.Dimension (Irreversibility-Rate ?Self) Power-Dimension)))