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


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