Function CND-SYS

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

Slots on this function:

Documentation:

the condensor subsystem of the power-system-with-reheat power cycle

Instance-Of: Function

Arity: 2

Range: Condensor-with-heat-transfer-system

Other Related Axioms:

(Inherited-Facet-Value 
    Slot-Documentation
    Power-System-With-Reheat
    Cnd-Sys
    The Condensor Subsystem Of The Power-System-With-Reheat Power Cycle)

(Connected-Terminals (Cp-Junction ?Self)
                     (Outlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))

(Connected-Terminals (Tbn2-Cnd-Junction ?Self)
                     (Inlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Reheat
                       Cnd-Sys
                       Condensor-With-Heat-Transfer-System)

(Inherited-Facet-Value Slot-Cardinality
                       Power-System-With-Reheat
                       Cnd-Sys
                       1)

(Has-Attribute-Function Power-System-With-Reheat Cnd-Sys)

(Slot-Documentation 
    Power-System-With-Reheat
    Cnd-Sys
    The Condensor Subsystem Of The Power-System-With-Reheat Power Cycle)

(=> (Power-System-With-Reheat ?Self)
    (And (Value-Cardinality ?Self Sgen-Sys 1)
         (Value-Type ?Self
                     Sgen-Sys
                     Steam-Generator-With-Reheat-System)
         (Value-Cardinality ?Self Sgen-Sys 1)
         (Value-Cardinality ?Self Tbn-Sys1 1)
         (Value-Type ?Self Tbn-Sys1 Turbine-System)
         (Value-Cardinality ?Self Tbn-Sys1 1)
         (Value-Cardinality ?Self Tbn-Sys2 1)
         (Value-Type ?Self Tbn-Sys2 Turbine-System)
         (Value-Cardinality ?Self Tbn-Sys2 1)
         (Value-Cardinality ?Self Cnd-Sys 1)
         (Value-Type ?Self
                     Cnd-Sys
                     Condensor-With-Heat-Transfer-System)
         (Value-Cardinality ?Self Cnd-Sys 1)
         (Value-Cardinality ?Self Pmp-Sys 1)
         (Value-Type ?Self Pmp-Sys Pump-System)
         (Value-Cardinality ?Self Pmp-Sys 1)
         (Value-Cardinality ?Self Sgen-Tbn1-Junction 1)
         (Value-Type ?Self Sgen-Tbn1-Junction Stream-Junction)
         (Value-Cardinality ?Self Sgen-Tbn1-Junction 1)
         (Value-Cardinality ?Self Tbn1-Sgen-Junction 1)
         (Value-Type ?Self Tbn1-Sgen-Junction Stream-Junction)
         (Value-Cardinality ?Self Tbn1-Sgen-Junction 1)
         (Value-Cardinality ?Self Sgen-Tbn2-Junction 1)
         (Value-Type ?Self Sgen-Tbn2-Junction Stream-Junction)
         (Value-Cardinality ?Self Sgen-Tbn2-Junction 1)
         (Value-Cardinality ?Self Tbn2-Cnd-Junction 1)
         (Value-Type ?Self Tbn2-Cnd-Junction Stream-Junction)
         (Value-Cardinality ?Self Tbn2-Cnd-Junction 1)
         (Value-Cardinality ?Self Cp-Junction 1)
         (Value-Type ?Self Cp-Junction Stream-Junction)
         (Value-Cardinality ?Self Cp-Junction 1)
         (Value-Cardinality ?Self Pmp-Sgen-Junction 1)
         (Value-Type ?Self Pmp-Sgen-Junction Stream-Junction)
         (Value-Cardinality ?Self Pmp-Sgen-Junction 1)
         (Connected-Terminals (Sgen-Tbn1-Junction ?Self)
                              (Outlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))
         (Connected-Terminals (Sgen-Tbn1-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))
         (Connected-Terminals (Tbn1-Sgen-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))
         (Connected-Terminals (Tbn1-Sgen-Junction ?Self)
                              (Inlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))
         (Connected-Terminals (Sgen-Tbn2-Junction ?Self)
                              (Outlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))
         (Connected-Terminals (Sgen-Tbn2-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-Sys2 ?Self))))
         (Connected-Terminals (Tbn2-Cnd-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-Sys2 ?Self))))
         (Connected-Terminals (Tbn2-Cnd-Junction ?Self)
                              (Inlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))
         (Connected-Terminals (Cp-Junction ?Self)
                              (Outlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))
         (Connected-Terminals (Cp-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-Sys ?Self))))
         (Connected-Terminals (Pmp-Sgen-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-Sys ?Self))))
         (Connected-Terminals (Pmp-Sgen-Junction ?Self)
                              (Inlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))))

(=> (Cnd-Sys $X $Y) (Condensor-With-Heat-Transfer-System $Y))