Class THERMAL-PROCESS

Slots on this class:

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

Slots on instances of this class:

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

Axioms:

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