Class SATURATED-WATER-STREAM-ENTHALPY

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

Slots on this class:

Documentation:

the operating mode model of a 2d stream containing saturated water to compute its enthalpy

Instance-Of: Class

Subclass-Of: 2d-stream-operating-mode, Model-fragment, Water-operating-mode

Arity: 1

Axioms:

(Forall (?Self)
        (<=> (Saturated-Water-Stream-Enthalpy ?Self)
             (And (2d-Stream-Operating-Mode ?Self)
                  (Water-Operating-Mode ?Self)
                  (Substance-In 2d-Stream-Involved Water-Involved)
                  (Saturated-P 2d-Stream-Involved true))))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Saturated-Water-Stream-Enthalpy ?Self)
        (= (Lambda 
               (?T)
               (If (= ?T ?Time)
                   (Value-At 
                       (Specific-Enthalpy (2d-Stream-Involved ?Self))
                       ?T)))
           (Compute-Saturated-Vapor-Enthalpy 
               (Lambda 
                   (?T)
                   (If (= ?T ?Time)
                       (Value-At 
                           (Stream-Pressure (2d-Stream-Involved ?Self))
                           ?T)))
               (Lambda (?T)
                       (If (= ?T ?Time)
                           (Value-At (Quality (2d-Stream-Involved ?Self))
                                     ?T)))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Saturated-Water-Stream-Enthalpy ?Self)
             (And (Saturated-Water-Stream-Enthalpy ?Self)
                  (Active ?Time 2d-Stream-Operating-Mode ?Self)
                  (Active ?Time Water-Operating-Mode ?Self))))

Other Related Axioms:

(Forall (?Self)
        (<=> (Saturated-Water-Stream-Enthalpy ?Self)
             (And (2d-Stream-Operating-Mode ?Self)
                  (Water-Operating-Mode ?Self)
                  (Substance-In 2d-Stream-Involved Water-Involved)
                  (Saturated-P 2d-Stream-Involved true))))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Saturated-Water-Stream-Enthalpy ?Self)
        (= (Lambda 
               (?T)
               (If (= ?T ?Time)
                   (Value-At 
                       (Specific-Enthalpy (2d-Stream-Involved ?Self))
                       ?T)))
           (Compute-Saturated-Vapor-Enthalpy 
               (Lambda 
                   (?T)
                   (If (= ?T ?Time)
                       (Value-At 
                           (Stream-Pressure (2d-Stream-Involved ?Self))
                           ?T)))
               (Lambda (?T)
                       (If (= ?T ?Time)
                           (Value-At (Quality (2d-Stream-Involved ?Self))
                                     ?T)))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Saturated-Water-Stream-Enthalpy ?Self)
             (And (Saturated-Water-Stream-Enthalpy ?Self)
                  (Active ?Time 2d-Stream-Operating-Mode ?Self)
                  (Active ?Time Water-Operating-Mode ?Self))))