Class CONDENSOR-WITH-HEAT-TRANSFER-SYSTEM

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

Slots on this class:

Documentation:

the system consisting of a condensor, an associated control-volume, and a heat-transfer process.

Subclass-Of: Entity, System-with-condensor

Arity: 1

Has-Attribute-Function: Cnd-tfr-prcs, Cndsr-cv

---

Slots on instances of this class:

Cnd-Tfr-Prcs:

Slot-Cardinality: 1

Slot-Documentation:

the heat transfer process in the condensor

Slot-Value-Type: Steady-flow-heat-transfer

Cndsr-Cv:

Slot-Cardinality: 1

Slot-Documentation:

the control volume associated with the condensor in the condensor-with-heat-transfer-system

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

Axioms:

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