Class *DEAD-STATE*

Slots on this class:

Documentation:
the reference thermodynamic state used in second law analysis for defining irreversibility and availability
Instance-Of: Class
Subclass-Of: Entity
Arity: 1
Has-Quantity-Function: State-entropy, State-pressure, State-temperature
State-Entropy:
Slot-Documentation:
the entropy of the fluid in the dead state
State-Pressure:
Slot-Documentation: the pressure of the dead state
State-Temperature:
Slot-Documentation:
the temperature of the dead state

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:

(Quantity.Dimension (State-Entropy ?Self) Entropy-Dimension)

(Quantity.Dimension (State-Pressure ?Self) Pressure-Dimension)

(Quantity.Dimension (State-Temperature ?Self) Temperature-Dimension)

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

Other Related Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Non-Steady-State-Flow-Process ?Self)
        (And (Forall (?Cv)
                     (=> (Process-Cv ?Self ?Cv)
                         (= (- (Lambda (?T)
                                       (If (= ?T ?Time)
                                           (Value-At (Heat-Rate ?Self)
                                                     ?T)))
                               (Lambda (?T)
                                       (If (= ?T ?Time)
                                           (Value-At (Work-Rate ?Self)
                                                     ?T))))
                            (+ (- (Lambda 
                                      (?T)
                                      (If (= ?T ?Time)
                                          (Value-At 
                                              (Enthalpy-Rate-Out ?Cv)
                                              ?T)))
                                  (Lambda 
                                      (?T)
                                      (If (= ?T ?Time)
                                          (Value-At 
                                              (Enthalpy-Rate-In ?Cv)
                                              ?T))))
                               (- (Lambda (?T)
                                          (If (= ?T ?Time)
                                              (Value-At 
                                                  (Pe-Rate-Out ?Cv)
                                                  ?T)))
                                  (Lambda (?T)
                                          (If (= ?T ?Time)
                                              (Value-At (Pe-Rate-In ?Cv)
                                                        ?T))))
                               (- (Lambda (?T)
                                          (If (= ?T ?Time)
                                              (Value-At 
                                                  (Ke-Rate-Out ?Cv)
                                                  ?T)))
                                  (Lambda (?T)
                                          (If (= ?T ?Time)
                                              (Value-At (Ke-Rate-In ?Cv)
                                                        ?T))))
                               (Lambda (?T)
                                       (If (= ?T ?Time)
                                           (Value-At (Energy-Rate ?Cv)
                                                     ?T)))))))
             (Forall 
                 (?Cv)
                 (=> (Process-Cv ?Self ?Cv)
                     (= (Lambda (?T)
                                (If (= ?T ?Time)
                                    (Value-At (Energy-Rate ?Cv) ?T)))
                        (+ (Lambda 
                               (?T)
                               (If (= ?T ?Time)
                                   (Value-At (Internal-Energy-Rate ?Cv)
                                             ?T)))
                           (Lambda (?T)
                                   (If (= ?T ?Time)
                                       (Value-At (Ke-Rate ?Cv) ?T)))
                           (Lambda (?T)
                                   (If (= ?T ?Time)
                                       (Value-At (Pe-Rate ?Cv) ?T)))))))
             (Forall 
                 (?Cv)
                 (=> (Process-Cv ?Self ?Cv)
                     (= (Lambda 
                            (?T)
                            (If (= ?T ?Time)
                                (Value-At 
                                    (Entropy-Generation-Rate ?Self)
                                    ?T)))
                        (+ (- (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At 
                                              (Entropy-Rate-Out ?Cv)
                                              ?T)))
                              (Lambda (?T)
                                      (If (= ?T ?Time)
                                          (Value-At 
                                              (Entropy-Rate-In ?Cv)
                                              ?T))))
                           (- (/ (Lambda (?T)
                                         (If (= ?T ?Time)
                                             (Value-At (Heat-Rate ?Self)
                                                       ?T)))
                                 (Lambda 
                                     (?T)
                                     (If (= ?T ?Time)
                                         (Value-At 
                                             (Heat-Transfer-Temperature ?Self)
                                             ?T)))))
                           (Lambda (?T)
                                   (If (= ?T ?Time)
                                       (Value-At (Entropy-Rate ?Cv)
                                                 ?T)))))))
             (= (Lambda (?T)
                        (If (= ?T ?Time)
                            (Value-At (Irreversibility-Rate ?Self)
                                      ?T)))
                (* (Lambda (?T)
                           (If (= ?T ?Time)
                               (Value-At (Entropy-Generation-Rate ?Self)
                                         ?T)))
                   (Lambda (?T)
                           (If (= ?T ?Time)
                               (Value-At 
                                   (State-Temperature *Dead-State*)
                                   ?T)))))
             (Forall (?Cv)
                     (=> (Process-Cv ?Self ?Cv)
                         (= (Lambda (?T)
                                    (If (= ?T ?Time)
                                        (Value-At (Mass-Rate ?Cv) ?T)))
                            (- (Lambda (?T)
                                       (If (= ?T ?Time)
                                           (Value-At (Mass-Rate-In ?Cv)
                                                     ?T)))
                               (Lambda (?T)
                                       (If (= ?T ?Time)
                                           (Value-At (Mass-Rate-Out ?Cv)
                                                     ?T))))))))))

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

(Quantity-Function-Of State-Temperature *Dead-State*)

(Quantity-Function-Of State-Pressure *Dead-State*)

(Quantity-Function-Of State-Entropy *Dead-State*)