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

Instance-Of: Class

Subclass-Of: Model-fragment, Operating-mode-model

Air-Involved:

Slot-Documentation: the air involved

Arity: 1

Has-Participant-Function: Air-involved

Superclass-Of: Control-volume-inlet-stream-thermodynamic-state, Control-volume-outlet-stream-thermodynamic-state

---

Slots on instances of this class:

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

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

(Participant-Function-Of Air-Involved Air-Operating-Mode)

(Forall (?Self)
        (<=> (Control-Volume-Inlet-Stream-Thermodynamic-State ?Self)
             (And (Air-Operating-Mode ?Self)
                  (Control-Volume-Op-Mode ?Self)
                  (Substance-In (Cv-Involved ?Self)
                                (Air-Involved ?Self)))))

(Forall (?Self ?Time)
        (<=> (Active ?Time
                     Control-Volume-Inlet-Stream-Thermodynamic-State
                     ?Self)
             (And (Control-Volume-Inlet-Stream-Thermodynamic-State ?Self)
                  (Active ?Time Air-Operating-Mode ?Self)
                  (Active ?Time Control-Volume-Op-Mode ?Self))))

(Forall (?Self)
        (<=> (Control-Volume-Outlet-Stream-Thermodynamic-State ?Self)
             (And (Air-Operating-Mode ?Self)
                  (Control-Volume-Op-Mode ?Self)
                  (Substance-In (Cv-Involved ?Self)
                                (Air-Involved ?Self)))))

(Forall (?Self ?Time)
        (<=> (Active ?Time
                     Control-Volume-Outlet-Stream-Thermodynamic-State
                     ?Self)
             (And (Control-Volume-Outlet-Stream-Thermodynamic-State ?Self)
                  (Active ?Time Air-Operating-Mode ?Self)
                  (Active ?Time Control-Volume-Op-Mode ?Self))))