Class CONDENSOR-SYSTEM

Slots on this class:

Documentation:
the system consisting of a condensor, an associated control-volume, and an adiabatic heat-exchange process
Instance-Of: Class
Subclass-Of: Entity, System-with-condensor
Adbtc-Hxg-Prcs:
Slot-Documentation:
the aidiabatic heat exchange process
Arity: 1
Cf-Cv:
Slot-Documentation:
the control volume of the cold flow
Cnd-Cv:
Slot-Documentation:
the control volume of the condensor
Has-Attribute-Function:
Adbtc-hxg-prcs, Cf-cv, Cnd-cv, Hf-cv, Water-in-cnd
Has-Quantity-Function: Condensor-heat-out-rate
Hf-Cv:
Slot-Documentation:
the control volume of the hot flow
Range-Of: Cdnsr-system
Water-In-Cnd:
Slot-Documentation:
the water flowing through the condensor

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:

(Substance-In (Outlet-Stream (Cf-Cv ?Self)) (Water-In-Cnd ?Self))

(Substance-In (Inlet-Stream (Cf-Cv ?Self)) (Water-In-Cnd ?Self))

(Substance-In (Cf-Cv ?Self) (Water-In-Cnd ?Self))

(Substance-In (Outlet-Stream (Hf-Cv ?Self)) (Water-In-Cnd ?Self))

(Substance-In (Inlet-Stream (Hf-Cv ?Self)) (Water-In-Cnd ?Self))

(Substance-In (Hf-Cv ?Self) (Water-In-Cnd ?Self))

(Substance-In (Cnd-Cv ?Self) (Water-In-Cnd ?Self))

(Component-Cv (Hot-Flow (Cnd ?Self)) (Hf-Cv ?Self))

(Cv-Component (Hf-Cv ?Self) (Hot-Flow (Cnd ?Self)))

(Component-Cv (Cold-Flow (Cnd ?Self)) (Cf-Cv ?Self))

(Cv-Component (Cf-Cv ?Self) (Cold-Flow (Cnd ?Self)))

(Process-Cv (Adbtc-Hxg-Prcs ?Self) (Cnd-Cv ?Self))

(Component-Cv (Cnd ?Self) (Cnd-Cv ?Self))

(Cv-Component (Cnd-Cv ?Self) (Cnd ?Self))

(Quantity.Dimension (Condensor-Heat-Out-Rate ?Self) Power-Dimension)

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

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

(Quantity-Function-Of Condensor-Heat-Out-Rate Condensor-System)

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

(Attribute-Function-Of Adbtc-Hxg-Prcs Condensor-System)

(Attribute-Function-Of Cf-Cv Condensor-System)

(Attribute-Function-Of Hf-Cv Condensor-System)

(Attribute-Function-Of Water-In-Cnd Condensor-System)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-Eight-One
                       Cdnsr-System
                       Condensor-System)

(=> (Power-System-Eight-One ?Self)
    (And (Value-Cardinality ?Self Blr-System 1)
         (Value-Type ?Self Blr-System Boiler-System)
         (Value-Cardinality ?Self Blr-System 1)
         (Value-Cardinality ?Self Tbn-System 1)
         (Value-Type ?Self Tbn-System Turbine-System)
         (Value-Cardinality ?Self Tbn-System 1)
         (Value-Cardinality ?Self Cdnsr-System 1)
         (Value-Type ?Self Cdnsr-System Condensor-System)
         (Value-Cardinality ?Self Cdnsr-System 1)
         (Value-Cardinality ?Self Pmp-System 1)
         (Value-Type ?Self Pmp-System Pump-System)
         (Value-Cardinality ?Self Pmp-System 1)
         (Value-Cardinality ?Self Cnd-Pmp-Junction 1)
         (Value-Type ?Self Cnd-Pmp-Junction Stream-Junction)
         (Value-Cardinality ?Self Cnd-Pmp-Junction 1)
         (Value-Cardinality ?Self Blr-Tbn-Junction 1)
         (Value-Type ?Self Blr-Tbn-Junction Stream-Junction)
         (Value-Cardinality ?Self Blr-Tbn-Junction 1)
         (Value-Cardinality ?Self Tbn-Cnd-Junction 1)
         (Value-Type ?Self Tbn-Cnd-Junction Stream-Junction)
         (Value-Cardinality ?Self Tbn-Cnd-Junction 1)
         (Value-Cardinality ?Self Pmp-Blr-Junction 1)
         (Value-Type ?Self Pmp-Blr-Junction Stream-Junction)
         (Value-Cardinality ?Self Pmp-Blr-Junction 1)
         (Value-Cardinality ?Self Working-Fluid-In-Cycle 1)
         (Value-Type ?Self Working-Fluid-In-Cycle Water)
         (Value-Cardinality ?Self Working-Fluid-In-Cycle 1)
         (Connected-Terminals (Blr-Tbn-Junction ?Self)
                              (Outlet-Stream (Blr-Cv (Blr-System ?Self))))
         (Connected-Terminals (Blr-Tbn-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-System ?Self))))
         (Connected-Terminals (Tbn-Cnd-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-System ?Self))))
         (Connected-Terminals (Tbn-Cnd-Junction ?Self)
                              (Inlet-Stream (Hf-Cv (Cdnsr-System ?Self))))
         (Connected-Terminals (Cnd-Pmp-Junction ?Self)
                              (Outlet-Stream (Hf-Cv (Cdnsr-System ?Self))))
         (Connected-Terminals (Cnd-Pmp-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-System ?Self))))
         (Connected-Terminals (Pmp-Blr-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-System ?Self))))
         (Connected-Terminals (Pmp-Blr-Junction ?Self)
                              (Inlet-Stream (Blr-Cv (Blr-System ?Self))))))

(=> (Cdnsr-System $X $Y) (Condensor-System $Y))