Class 1-1-CONTROL-VOLUME-OP-MODE

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

Slots on this class:

Documentation:

the class of model fragments about a 1-1-contol-volume

Subclass-Of: Model-fragment

Arity: 1

Has-Participant-Function: 1-1-cv-involved

---

Slots on instances of this class:

1-1-Cv-Involved:

Slot-Cardinality: 1

Slot-Documentation:

the control volume

Slot-Value-Type: 1-1-control-volume

Axioms:

(Forall (?1-1-Cv-Involved)
        (<=> (1-1-Control-Volume ?1-1-Cv-Involved)
             (Exists (?Self)
                     (And (1-1-Control-Volume-Op-Mode ?Self)
                          (= (1-1-Cv-Involved ?Self)
                             ?1-1-Cv-Involved)))))

(Forall (?Self ?Time)
        (<=> (Active ?Time 1-1-Control-Volume-Op-Mode ?Self)
             (1-1-Control-Volume-Op-Mode ?Self)))