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

Instance-Of: Class

Subclass-Of: Entity, System-model

Arity: 1

Cnd:

Slot-Documentation: the condensor

Has-Attribute-Function: Cnd

Superclass-Of: Condensor-system, Condensor-with-heat-transfer-system

---

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

Other Related Axioms:

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

(Attribute-Function-Of Cnd System-With-Condensor)

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

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