Class AIR-OPERATING-MODE

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

Slots on this class:

Documentation:
the class of operating mode models of air
Subclass-Of: Model-fragment, Operating-mode-model
Arity: 1
Has-Participant-Function: Air-involved

Air-Involved:: Slot-Cardinality: 1; Slot-Documentation:
the air involved; Slot-Value-Type: Air

Axioms:

(Forall (?Self ?Air-Involved)
        (<=> (And (= (Air-Involved ?Self) ?Air-Involved)
                  (Air-Operating-Mode ?Self))
             (And (Operating-Mode-Model ?Self) (Air ?Air-Involved))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Air-Operating-Mode ?Self)
             (And (Air-Operating-Mode ?Self)
                  (Active ?Time Operating-Mode-Model ?Self))))