Class *DEAD-STATE*

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

Slots on this class:

Documentation:

the reference thermodynamic state used in second law analysis for defining irreversibility and availability

Subclass-Of: Entity

Arity: 1

Has-Quantity-Function: State-entropy, State-pressure, State-temperature

---

Slots on instances of this class:

State-Entropy:

Slot-Cardinality: 1

Slot-Documentation:

the entropy of the fluid in the dead state

State-Pressure:

Slot-Cardinality: 1

Slot-Documentation:

the pressure of the dead state

State-Temperature:

Slot-Cardinality: 1

Slot-Documentation:

the temperature of the dead state

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time *Dead-State* ?Self) (*Dead-State* ?Self)))

(=> (*Dead-State* ?Self)
    (And (Quantity.Dimension (State-Temperature ?Self)
                             Temperature-Dimension)
         (Quantity.Dimension (State-Pressure ?Self)
                             Pressure-Dimension)
         (Quantity.Dimension (State-Entropy ?Self) Entropy-Dimension)))