Class EARTH-BOUND-MODEL

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

Slots on this class:

Documentation:

an abstract class of model fragments whose sole purpose is to have the gravitational acceleration due to earth.

Instance-Of: Class

Subclass-Of: Model-fragment

Acceleration-Due-To-Gravity:

Slot-Documentation:

the gravitational acceleration on earth

Arity: 1

Has-Quantity-Function: Acceleration-due-to-gravity

Superclass-Of: 2d-stream-potential-energy

---

Slots on instances of this class:

Acceleration-Due-To-Gravity:

Slot-Cardinality: 1

Slot-Documentation:

the gravitational acceleration on earth

Axioms:

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

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

(Forall (?Self ?Time)
        (<=> (Active ?Time Earth-Bound-Model ?Self)
             (Earth-Bound-Model ?Self)))

Other Related Axioms:

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

(Forall (?Self ?Time)
        (<=> (Active ?Time Earth-Bound-Model ?Self)
             (Earth-Bound-Model ?Self)))

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

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