Class SYSTEM-WITH-CONDENSOR

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

Slots on this class:

Documentation:

the class of systems containing a condensor and an associated control volume

Subclass-Of: Entity, System-model

Arity: 1

Has-Attribute-Function: Cnd

---

Slots on instances of this class:

Cnd:

Slot-Cardinality: 1

Slot-Documentation:

the condensor

Slot-Value-Type: 4-port-heat-exchanger

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time System-With-Condensor ?Self)
             (And (System-With-Condensor ?Self)
                  (Active ?Time System-Model ?Self))))