Class CONDENSOR-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 an adiabatic heat-exchange process

Subclass-Of: Entity, System-with-condensor

Arity: 1

Has-Attribute-Function:

Adbtc-hxg-prcs, Cf-cv, Cnd-cv, Hf-cv, Water-in-cnd

Has-Quantity-Function: Condensor-heat-out-rate

---

Slots on instances of this class:

Adbtc-Hxg-Prcs:

Slot-Cardinality: 1

Slot-Documentation:

the aidiabatic heat exchange process

Slot-Value-Type: Steady-flow-adiabatic-heat-exchange

Cf-Cv:

Slot-Cardinality: 1

Slot-Documentation:

the control volume of the cold flow

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

Cnd-Cv:

Slot-Cardinality: 1

Slot-Documentation:

the control volume of the condensor

Slot-Value-Type: Control-volume

Condensor-Heat-Out-Rate:

Slot-Cardinality: 1

Hf-Cv:

Slot-Cardinality: 1

Slot-Documentation:

the control volume of the hot flow

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

Water-In-Cnd:

Slot-Cardinality: 1

Slot-Documentation:

the water flowing through the condensor

Slot-Value-Type: Water

Axioms:

(Forall (?Self ?Time)
        (=> (Active ?Time Condensor-System ?Self)
            (= (Lambda (?T)
                       (If (= ?T ?Time)
                           (Value-At (Mass-Rate-In (Hf-Cv ?Self)) ?T)))
               (Lambda (?T)
                       (If (= ?T ?Time)
                           (Value-At (Mass-Rate-Out (Hf-Cv ?Self))
                                     ?T))))))

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

(=> (Condensor-System ?Self)
    (And (Quantity.Dimension (Condensor-Heat-Out-Rate ?Self)
                             Power-Dimension)
         (Cv-Component (Cnd-Cv ?Self) (Cnd ?Self))
         (Component-Cv (Cnd ?Self) (Cnd-Cv ?Self))
         (Process-Cv (Adbtc-Hxg-Prcs ?Self) (Cnd-Cv ?Self))
         (Cv-Component (Cf-Cv ?Self) (Cold-Flow (Cnd ?Self)))
         (Component-Cv (Cold-Flow (Cnd ?Self)) (Cf-Cv ?Self))
         (Cv-Component (Hf-Cv ?Self) (Hot-Flow (Cnd ?Self)))
         (Component-Cv (Hot-Flow (Cnd ?Self)) (Hf-Cv ?Self))
         (Substance-In (Cnd-Cv ?Self) (Water-In-Cnd ?Self))
         (Substance-In (Hf-Cv ?Self) (Water-In-Cnd ?Self))
         (Substance-In (Inlet-Stream (Hf-Cv ?Self))
                       (Water-In-Cnd ?Self))
         (Substance-In (Outlet-Stream (Hf-Cv ?Self))
                       (Water-In-Cnd ?Self))
         (Substance-In (Cf-Cv ?Self) (Water-In-Cnd ?Self))
         (Substance-In (Inlet-Stream (Cf-Cv ?Self))
                       (Water-In-Cnd ?Self))
         (Substance-In (Outlet-Stream (Cf-Cv ?Self))
                       (Water-In-Cnd ?Self))))