(Inherited-Facet-Value
Slot-Documentation
Steam-Generator-With-Reheat-System
Sgen-Cv
The Control Volume Associated With The Steam Generator With Reheat)
(Process-Cv (Stmgen-Htsr-Prcs ?Self) (Sgen-Cv ?Self))
(Component-Cv (Sgen ?Self) (Sgen-Cv ?Self))
(Cv-Component (Sgen-Cv ?Self) (Sgen ?Self))
(Inherited-Facet-Value Slot-Value-Type
Steam-Generator-With-Reheat-System
Sgen-Cv
2-2-Control-Volume)
(Inherited-Facet-Value Slot-Cardinality
Steam-Generator-With-Reheat-System
Sgen-Cv
1)
(Has-Attribute-Function Steam-Generator-With-Reheat-System Sgen-Cv)
(Slot-Documentation
Steam-Generator-With-Reheat-System
Sgen-Cv
The Control Volume Associated With The Steam Generator With Reheat)
(=> (Steam-Generator-With-Reheat-System ?Self)
(And (Value-Cardinality ?Self Sgen 1)
(Value-Type ?Self Sgen Steam-Generator-With-Reheat)
(Value-Cardinality ?Self Sgen 1)
(Value-Cardinality ?Self Sgen-Cv 1)
(Value-Type ?Self Sgen-Cv 2-2-Control-Volume)
(Value-Cardinality ?Self Sgen-Cv 1)
(Value-Cardinality ?Self Stmgen-Htsr-Prcs 1)
(Value-Type ?Self
Stmgen-Htsr-Prcs
Steady-Flow-Heat-Transfer)
(Value-Cardinality ?Self Stmgen-Htsr-Prcs 1)
(Cv-Component (Sgen-Cv ?Self) (Sgen ?Self))
(Component-Cv (Sgen ?Self) (Sgen-Cv ?Self))
(Process-Cv (Stmgen-Htsr-Prcs ?Self) (Sgen-Cv ?Self))))
(=> (Sgen-Cv $X $Y) (2-2-Control-Volume $Y))
(Connected-Terminals (Pmp-Sgen-Junction ?Self)
(Inlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))
(Connected-Terminals (Sgen-Tbn2-Junction ?Self)
(Outlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))
(Connected-Terminals (Tbn1-Sgen-Junction ?Self)
(Inlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))
(Connected-Terminals (Sgen-Tbn1-Junction ?Self)
(Outlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))
(=> (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))))))
(Connected-Terminals (Chtr-Sgen-Junction ?Self)
(Inlet-Stream1 (Sgen-Cv (Sgen-System ?Self))))
(Connected-Terminals (Sgen-Xtbn2-Junction ?Self)
(Outlet-Stream2 (Sgen-Cv (Sgen-System ?Self))))
(Connected-Terminals (Xtbn1-Sgen-Junction ?Self)
(Inlet-Stream2 (Sgen-Cv (Sgen-System ?Self))))
(Connected-Terminals (Sgen-Xtbn1-Junction ?Self)
(Outlet-Stream1 (Sgen-Cv (Sgen-System ?Self))))
(=> (Power-System-With-Extraction-Turbines ?Self)
(And (Value-Cardinality ?Self Sgen-System 1)
(Value-Type ?Self
Sgen-System
Steam-Generator-With-Reheat-System)
(Value-Cardinality ?Self Sgen-System 1)
(Value-Cardinality ?Self Xtbn-System1 1)
(Value-Type ?Self Xtbn-System1 Extraction-Turbine-System)
(Value-Cardinality ?Self Xtbn-System1 1)
(Value-Cardinality ?Self Xtbn-System2 1)
(Value-Type ?Self Xtbn-System2 Extraction-Turbine-System)
(Value-Cardinality ?Self Xtbn-System2 1)
(Value-Cardinality ?Self Cnd-System 1)
(Value-Type ?Self
Cnd-System
Condensor-With-Heat-Transfer-System)
(Value-Cardinality ?Self Cnd-System 1)
(Value-Cardinality ?Self Pmp-System1 1)
(Value-Type ?Self Pmp-System1 Pump-System)
(Value-Cardinality ?Self Pmp-System1 1)
(Value-Cardinality ?Self Ohtr-System 1)
(Value-Type ?Self
Ohtr-System
3-1-Open-Feedwater-Heater-System)
(Value-Cardinality ?Self Ohtr-System 1)
(Value-Cardinality ?Self Pmp-System2 1)
(Value-Type ?Self Pmp-System2 Pump-System)
(Value-Cardinality ?Self Pmp-System2 1)
(Value-Cardinality ?Self Chtr-System 1)
(Value-Type ?Self
Chtr-System
2-2-Closed-Feedwater-Heater-System)
(Value-Cardinality ?Self Chtr-System 1)
(Value-Cardinality ?Self Trp-System 1)
(Value-Type ?Self Trp-System Nozzle-System)
(Value-Cardinality ?Self Trp-System 1)
(Value-Cardinality ?Self Sgen-Xtbn1-Junction 1)
(Value-Type ?Self Sgen-Xtbn1-Junction Stream-Junction)
(Value-Cardinality ?Self Sgen-Xtbn1-Junction 1)
(Value-Cardinality ?Self Xtbn1-Chtr-Junction 1)
(Value-Type ?Self Xtbn1-Chtr-Junction Stream-Junction)
(Value-Cardinality ?Self Xtbn1-Chtr-Junction 1)
(Value-Cardinality ?Self Xtbn1-Sgen-Junction 1)
(Value-Type ?Self Xtbn1-Sgen-Junction Stream-Junction)
(Value-Cardinality ?Self Xtbn1-Sgen-Junction 1)
(Value-Cardinality ?Self Sgen-Xtbn2-Junction 1)
(Value-Type ?Self Sgen-Xtbn2-Junction Stream-Junction)
(Value-Cardinality ?Self Sgen-Xtbn2-Junction 1)
(Value-Cardinality ?Self Xtbn2-Ohtr-Junction 1)
(Value-Type ?Self Xtbn2-Ohtr-Junction Stream-Junction)
(Value-Cardinality ?Self Xtbn2-Ohtr-Junction 1)
(Value-Cardinality ?Self Xtbn2-Cnd-Junction 1)
(Value-Type ?Self Xtbn2-Cnd-Junction Stream-Junction)
(Value-Cardinality ?Self Xtbn2-Cnd-Junction 1)
(Value-Cardinality ?Self Cnd-Pmp1-Junction 1)
(Value-Type ?Self Cnd-Pmp1-Junction Stream-Junction)
(Value-Cardinality ?Self Cnd-Pmp1-Junction 1)
(Value-Cardinality ?Self Pmp1-Ohtr-Junction 1)
(Value-Type ?Self Pmp1-Ohtr-Junction Stream-Junction)
(Value-Cardinality ?Self Pmp1-Ohtr-Junction 1)
(Value-Cardinality ?Self Ohtr-Pmp2-Junction 1)
(Value-Type ?Self Ohtr-Pmp2-Junction Stream-Junction)
(Value-Cardinality ?Self Ohtr-Pmp2-Junction 1)
(Value-Cardinality ?Self Pmp2-Chtr-Junction 1)
(Value-Type ?Self Pmp2-Chtr-Junction Stream-Junction)
(Value-Cardinality ?Self Pmp2-Chtr-Junction 1)
(Value-Cardinality ?Self Chtr-Sgen-Junction 1)
(Value-Type ?Self Chtr-Sgen-Junction Stream-Junction)
(Value-Cardinality ?Self Chtr-Sgen-Junction 1)
(Value-Cardinality ?Self Chtr-Trp-Junction 1)
(Value-Type ?Self Chtr-Trp-Junction Stream-Junction)
(Value-Cardinality ?Self Chtr-Trp-Junction 1)
(Value-Cardinality ?Self Trp-Ohtr-Junction 1)
(Value-Type ?Self Trp-Ohtr-Junction Stream-Junction)
(Value-Cardinality ?Self Trp-Ohtr-Junction 1)
(Connected-Terminals (Sgen-Xtbn1-Junction ?Self)
(Outlet-Stream1
(Sgen-Cv (Sgen-System ?Self))))
(Connected-Terminals (Sgen-Xtbn1-Junction ?Self)
(Inlet-Stream (Xtbn-Cv
(Xtbn-System1 ?Self))))
(Connected-Terminals
(Xtbn1-Chtr-Junction ?Self)
(Outlet-Stream2 (Xtbn-Cv (Xtbn-System1 ?Self))))
(Connected-Terminals (Xtbn1-Chtr-Junction ?Self)
(Inlet-Stream2 (Chtr-Cv
(Chtr-System ?Self))))
(Connected-Terminals
(Xtbn1-Sgen-Junction ?Self)
(Outlet-Stream1 (Xtbn-Cv (Xtbn-System1 ?Self))))
(Connected-Terminals (Xtbn1-Sgen-Junction ?Self)
(Inlet-Stream2 (Sgen-Cv
(Sgen-System ?Self))))
(Connected-Terminals (Sgen-Xtbn2-Junction ?Self)
(Outlet-Stream2
(Sgen-Cv (Sgen-System ?Self))))
(Connected-Terminals (Sgen-Xtbn2-Junction ?Self)
(Inlet-Stream (Xtbn-Cv
(Xtbn-System2 ?Self))))
(Connected-Terminals
(Xtbn2-Ohtr-Junction ?Self)
(Outlet-Stream2 (Xtbn-Cv (Xtbn-System2 ?Self))))
(Connected-Terminals
(Xtbn2-Ohtr-Junction ?Self)
(Inlet-Stream2 (Fwt-Htr-Cv (Ohtr-System ?Self))))
(Connected-Terminals
(Xtbn2-Cnd-Junction ?Self)
(Outlet-Stream1 (Xtbn-Cv (Xtbn-System2 ?Self))))
(Connected-Terminals (Xtbn2-Cnd-Junction ?Self)
(Inlet-Stream (Cndsr-Cv (Cnd-System ?Self))))
(Connected-Terminals (Cnd-Pmp1-Junction ?Self)
(Outlet-Stream (Cndsr-Cv
(Cnd-System ?Self))))
(Connected-Terminals (Cnd-Pmp1-Junction ?Self)
(Inlet-Stream (Pmp-Cv (Pmp-System1 ?Self))))
(Connected-Terminals (Pmp1-Ohtr-Junction ?Self)
(Outlet-Stream (Pmp-Cv (Pmp-System1 ?Self))))
(Connected-Terminals
(Pmp1-Ohtr-Junction ?Self)
(Inlet-Stream1 (Fwt-Htr-Cv (Ohtr-System ?Self))))
(Connected-Terminals
(Ohtr-Pmp2-Junction ?Self)
(Outlet-Stream (Fwt-Htr-Cv (Ohtr-System ?Self))))
(Connected-Terminals (Ohtr-Pmp2-Junction ?Self)
(Inlet-Stream (Pmp-Cv (Pmp-System2 ?Self))))
(Connected-Terminals (Pmp2-Chtr-Junction ?Self)
(Outlet-Stream (Pmp-Cv (Pmp-System2 ?Self))))
(Connected-Terminals (Pmp2-Chtr-Junction ?Self)
(Inlet-Stream1 (Chtr-Cv
(Chtr-System ?Self))))
(Connected-Terminals (Chtr-Sgen-Junction ?Self)
(Outlet-Stream1
(Chtr-Cv (Chtr-System ?Self))))
(Connected-Terminals (Chtr-Sgen-Junction ?Self)
(Inlet-Stream1 (Sgen-Cv
(Sgen-System ?Self))))
(Connected-Terminals (Chtr-Trp-Junction ?Self)
(Outlet-Stream2
(Chtr-Cv (Chtr-System ?Self))))
(Connected-Terminals (Chtr-Trp-Junction ?Self)
(Inlet-Stream (Nzl-Cv (Trp-System ?Self))))
(Connected-Terminals (Trp-Ohtr-Junction ?Self)
(Outlet-Stream (Nzl-Cv (Trp-System ?Self))))
(Connected-Terminals
(Trp-Ohtr-Junction ?Self)
(Inlet-Stream3 (Fwt-Htr-Cv (Ohtr-System ?Self))))))