Function AIR-INVOLVED

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

Slots on this function:

Documentation: the air involved

Instance-Of: Function

Arity: 2

Range: Air

Other Related Axioms:

(Inherited-Facet-Value Slot-Documentation
                       Air-Operating-Mode
                       Air-Involved
                       The Air Involved)

(Inherited-Facet-Value Slot-Value-Type
                       Air-Operating-Mode
                       Air-Involved
                       Air)

(Inherited-Facet-Value Slot-Cardinality
                       Air-Operating-Mode
                       Air-Involved
                       1)

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

(Slot-Documentation Air-Operating-Mode Air-Involved the air involved)

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

(=> (Air-Operating-Mode ?Self)
    (And (Value-Cardinality ?Self Air-Involved 1)
         (Value-Type ?Self Air-Involved Air)
         (Value-Cardinality ?Self Air-Involved 1)))

(=> (Air-Involved $X $Y) (Air $Y))

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