Class 2D-STREAM-POTENTIAL-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 the mass rate, elevation and gravitational acceleration

Instance-Of: Class

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

Arity: 1

Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time 2d-Stream-Potential-Energy ?Self)
        (= (Lambda (?T)
                   (If (= ?T ?Time)
                       (Value-At (Pe-Rate (2d-Stream-Involved ?Self))
                                 ?T)))
           (* (Lambda (?T)
                      (If (= ?T ?Time)
                          (Value-At (Mass-Rate 
                                        (2d-Stream-Involved ?Self))
                                    ?T)))
              (Lambda 
                  (?T)
                  (If (= ?T ?Time)
                      (Value-At 
                          (Stream-Elevation (2d-Stream-Involved ?Self))
                          ?T)))
              (Lambda (?T)
                      (If (= ?T ?Time)
                          (Value-At (Acceleration-Due-To-Gravity ?Self)
                                    ?T)))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time 2d-Stream-Potential-Energy ?Self)
             (And (2d-Stream-Potential-Energy ?Self)
                  (Active ?Time 2d-Stream-Operating-Mode ?Self)
                  (Active ?Time Earth-Bound-Model ?Self))))

Other Related Axioms:

(Forall 
    (?Self ?Time)
    (=> (Active ?Time 2d-Stream-Potential-Energy ?Self)
        (= (Lambda (?T)
                   (If (= ?T ?Time)
                       (Value-At (Pe-Rate (2d-Stream-Involved ?Self))
                                 ?T)))
           (* (Lambda (?T)
                      (If (= ?T ?Time)
                          (Value-At (Mass-Rate 
                                        (2d-Stream-Involved ?Self))
                                    ?T)))
              (Lambda 
                  (?T)
                  (If (= ?T ?Time)
                      (Value-At 
                          (Stream-Elevation (2d-Stream-Involved ?Self))
                          ?T)))
              (Lambda (?T)
                      (If (= ?T ?Time)
                          (Value-At (Acceleration-Due-To-Gravity ?Self)
                                    ?T)))))))

(Forall (?Self ?Time)
        (<=> (Active ?Time 2d-Stream-Potential-Energy ?Self)
             (And (2d-Stream-Potential-Energy ?Self)
                  (Active ?Time 2d-Stream-Operating-Mode ?Self)
                  (Active ?Time Earth-Bound-Model ?Self))))