Class NON-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 non-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)
        (<=> (Non-Saturated-Water-Stream-Enthalpy ?Self)
             (And (Water-Operating-Mode ?Self)
                  (2d-Stream-Operating-Mode ?Self)
                  (Substance-In 2d-Stream-Involved Water-Involved)
                  (Saturated-P 2d-Stream-Involved false))))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Non-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)))
                  0)
              (* (Lambda (?T)
                         (If (= ?T ?Time)
                             (Value-At 
                                 (Quality (2d-Stream-Involved ?Self))
                                 ?T)))
                 (- (Compute-Saturated-Vapor-Enthalpy 
                        (Lambda 
                            (?T)
                            (If (= ?T ?Time)
                                (Value-At 
                                    (Stream-Pressure 
                                        (2d-Stream-Involved ?Self))
                                    ?T)))
                        1)
                    (Compute-Saturated-Vapor-Enthalpy 
                        (Lambda 
                            (?T)
                            (If (= ?T ?Time)
                                (Value-At 
                                    (Stream-Pressure 
                                        (2d-Stream-Involved ?Self))
                                    ?T)))
                        0)))))))

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

Other Related Axioms:

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

(Forall 
    (?Self ?Time)
    (=> (Active ?Time Non-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)))
                  0)
              (* (Lambda (?T)
                         (If (= ?T ?Time)
                             (Value-At 
                                 (Quality (2d-Stream-Involved ?Self))
                                 ?T)))
                 (- (Compute-Saturated-Vapor-Enthalpy 
                        (Lambda 
                            (?T)
                            (If (= ?T ?Time)
                                (Value-At 
                                    (Stream-Pressure 
                                        (2d-Stream-Involved ?Self))
                                    ?T)))
                        1)
                    (Compute-Saturated-Vapor-Enthalpy 
                        (Lambda 
                            (?T)
                            (If (= ?T ?Time)
                                (Value-At 
                                    (Stream-Pressure 
                                        (2d-Stream-Involved ?Self))
                                    ?T)))
                        0)))))))

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