Function ACCELERATION-DUE-TO-GRAVITY

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

Slots on this function:

Documentation:

the gravitational acceleration on earth

Instance-Of: Function, Quantity-function

Arity: 2

Range: Everywhere-continuous-quantity

Other Related Axioms:

(Inherited-Facet-Value Slot-Documentation
                       Earth-Bound-Model
                       Acceleration-Due-To-Gravity
                       The Gravitational Acceleration On Earth)

(Quantity.Dimension (Acceleration-Due-To-Gravity ?Self)
                    Acceleration-Dimension)

(Inherited-Facet-Value Slot-Cardinality
                       Earth-Bound-Model
                       Acceleration-Due-To-Gravity
                       1)

(Forall (?Self ?Time)
        (=> (Active ?Time Earth-Bound-Model ?Self)
            (= (Lambda (?T)
                       (If (= ?T ?Time)
                           (Value-At (Acceleration-Due-To-Gravity ?Self)
                                     ?T)))
               9.81)))

(Has-Quantity-Function Earth-Bound-Model Acceleration-Due-To-Gravity)

(Slot-Documentation Earth-Bound-Model
                    Acceleration-Due-To-Gravity
                    The Gravitational Acceleration On Earth)

(=> (Earth-Bound-Model ?Self)
    (And (Value-Cardinality ?Self Acceleration-Due-To-Gravity 1)
         (Quantity.Dimension (Acceleration-Due-To-Gravity ?Self)
                             Acceleration-Dimension)))

(=> (Acceleration-Due-To-Gravity $X $Y)
    (Everywhere-Continuous-Quantity $Y))

(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)))))))