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.

Subclass-Of: Model-fragment

Arity: 1

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

---

Slots on instances of this class:

Acceleration-Due-To-Gravity:

Slot-Cardinality: 1

Slot-Documentation:

the gravitational acceleration on earth

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

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