Class 2D-STREAM-KINETIC-ENERGY

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

Slots on this class:

Documentation:

the operating mode model of the 2d stream to express the relation between kinetic energy rate, mass rate and velocity

Instance-Of: Class

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

Arity: 1

Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time 2d-Stream-Kinetic-Energy ?Self)
        (= (Lambda (?T)
                   (If (= ?T ?Time)
                       (Value-At (Ke-Rate (2d-Stream-Involved ?Self))
                                 ?T)))
           (* 0.5
              (Lambda (?T)
                      (If (= ?T ?Time)
                          (Value-At (Mass-Rate 
                                        (2d-Stream-Involved ?Self))
                                    ?T)))
              (Expt (Lambda 
                        (?T)
                        (If (= ?T ?Time)
                            (Value-At 
                                (Velocity (2d-Stream-Involved ?Self))
                                ?T)))
                    2)))))

(Forall (?Self ?Time)
        (<=> (Active ?Time 2d-Stream-Kinetic-Energy ?Self)
             (And (2d-Stream-Kinetic-Energy ?Self)
                  (Active ?Time 2d-Stream-Operating-Mode ?Self))))

Other Related Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time 2d-Stream-Kinetic-Energy ?Self)
        (= (Lambda (?T)
                   (If (= ?T ?Time)
                       (Value-At (Ke-Rate (2d-Stream-Involved ?Self))
                                 ?T)))
           (* 0.5
              (Lambda (?T)
                      (If (= ?T ?Time)
                          (Value-At (Mass-Rate 
                                        (2d-Stream-Involved ?Self))
                                    ?T)))
              (Expt (Lambda 
                        (?T)
                        (If (= ?T ?Time)
                            (Value-At 
                                (Velocity (2d-Stream-Involved ?Self))
                                ?T)))
                    2)))))

(Forall (?Self ?Time)
        (<=> (Active ?Time 2d-Stream-Kinetic-Energy ?Self)
             (And (2d-Stream-Kinetic-Energy ?Self)
                  (Active ?Time 2d-Stream-Operating-Mode ?Self))))