Class CONTROL-VOLUME-OUTLET-STREAM-IDEAL-GAS-LAW

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

Slots on this class:

Documentation:

the operating mode model of a control volume to describe the fluid in its outlet stream as ideal gas

Instance-Of: Class

Subclass-Of: Control-volume-op-mode, Model-fragment

Arity: 1

Axioms:

(Forall (?Self)
        (<=> (Control-Volume-Outlet-Stream-Ideal-Gas-Law ?Self)
             (And (Control-Volume-Op-Mode ?Self)
                  (Ideal-Gas-P (Substance-In Cv-Involved) true))))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time
                Control-Volume-Outlet-Stream-Ideal-Gas-Law
                ?Self)
        (Forall 
            (?X)
            (=> (Outlets (Cv-Involved ?Self) ?X)
                (= (* (Lambda (?T)
                              (If (= ?T ?Time)
                                  (Value-At (Stream-Pressure ?X) ?T)))
                      (Lambda (?T)
                              (If (= ?T ?Time)
                                  (Value-At (Specific-Volume ?X) ?T))))
                   (* (Lambda 
                          (?T)
                          (If (= ?T ?Time)
                              (Value-At 
                                  (Ideal-Gas-Constant 
                                      (Substance-In (Cv-Involved ?Self)))
                                  ?T)))
                      (Lambda (?T)
                              (If (= ?T ?Time)
                                  (Value-At (Stream-Temperature ?X)
                                            ?T)))))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time
                     Control-Volume-Outlet-Stream-Ideal-Gas-Law
                     ?Self)
             (And (Control-Volume-Outlet-Stream-Ideal-Gas-Law ?Self)
                  (Active ?Time Control-Volume-Op-Mode ?Self))))

Other Related Axioms:

(Forall (?Self)
        (<=> (Control-Volume-Outlet-Stream-Ideal-Gas-Law ?Self)
             (And (Control-Volume-Op-Mode ?Self)
                  (Ideal-Gas-P (Substance-In Cv-Involved) true))))

(Forall 
    (?Self ?Time)
    (=> (Active ?Time
                Control-Volume-Outlet-Stream-Ideal-Gas-Law
                ?Self)
        (Forall 
            (?X)
            (=> (Outlets (Cv-Involved ?Self) ?X)
                (= (* (Lambda (?T)
                              (If (= ?T ?Time)
                                  (Value-At (Stream-Pressure ?X) ?T)))
                      (Lambda (?T)
                              (If (= ?T ?Time)
                                  (Value-At (Specific-Volume ?X) ?T))))
                   (* (Lambda 
                          (?T)
                          (If (= ?T ?Time)
                              (Value-At 
                                  (Ideal-Gas-Constant 
                                      (Substance-In (Cv-Involved ?Self)))
                                  ?T)))
                      (Lambda (?T)
                              (If (= ?T ?Time)
                                  (Value-At (Stream-Temperature ?X)
                                            ?T)))))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time
                     Control-Volume-Outlet-Stream-Ideal-Gas-Law
                     ?Self)
             (And (Control-Volume-Outlet-Stream-Ideal-Gas-Law ?Self)
                  (Active ?Time Control-Volume-Op-Mode ?Self))))