(=> (Component-Cv $X $Y) (Control-Volume $Y))
(=> (Component-Cv $X $Y) (Thermal-System $X))
(Forall (?Self)
(<=> (Cycle-Heat-Input ?Self)
(And (Thermal-Process-Op-Mode ?Self)
(Thermal-Cycle-Op-Mode ?Self)
(Control-Volume-Op-Mode ?Self)
(Thermal-Component-Op-Mode ?Self)
(Process-Cv Process-Involved Cv-Involved)
(Component-Cv Component-Involved Cv-Involved)
(Connected-To-External-Heat-Source-P
Component-Involved
True))))
(Forall (?Self)
(<=> (Pump-Power-Input-Per-Mass-Approximation ?Self)
(And (Pump-Operating-Mode ?Self)
(1-1-Control-Volume-Op-Mode ?Self)
(Thermal-Process-Op-Mode ?Self)
(Component-Cv Pump-Involved 1-1-Cv-Involved)
(Process-Cv Process-Involved 1-1-Cv-Involved))))
(Component-Cv (Cmpsr ?Self) (Cmpsr-Cv ?Self))
(=> (Compressor-System ?Self)
(And (Value-Cardinality ?Self Cmpsr 1)
(Value-Type ?Self Cmpsr Compressor)
(Value-Cardinality ?Self Cmpsr 1)
(Value-Cardinality ?Self Cmpsr-Cv 1)
(Value-Type ?Self Cmpsr-Cv 1-1-Control-Volume)
(Value-Cardinality ?Self Cmpsr-Cv 1)
(Value-Cardinality ?Self Cmpsn-Prcs 1)
(Value-Type ?Self Cmpsn-Prcs Steady-Flow-Compression)
(Value-Cardinality ?Self Cmpsn-Prcs 1)
(Value-Cardinality ?Self Air-In-Cmpsr 1)
(Value-Type ?Self Air-In-Cmpsr Air)
(Value-Cardinality ?Self Air-In-Cmpsr 1)
(Cv-Component (Cmpsr-Cv ?Self) (Cmpsr ?Self))
(Component-Cv (Cmpsr ?Self) (Cmpsr-Cv ?Self))
(Process-Cv (Cmpsn-Prcs ?Self) (Cmpsr-Cv ?Self))
(Substance-In (Cmpsr-Cv ?Self) (Air-In-Cmpsr ?Self))))
(Component-Cv (Opn-Fwt-Htr ?Self) (Opn-Fwt-Htr-Cv ?Self))
(=> (2-1-Open-Feedwater-Heater-System ?Self)
(And (Value-Cardinality ?Self Opn-Fwt-Htr 1)
(Value-Type ?Self Opn-Fwt-Htr 2-1-Open-Feedwater-Heater)
(Value-Cardinality ?Self Opn-Fwt-Htr 1)
(Value-Cardinality ?Self Opn-Fwt-Htr-Cv 1)
(Value-Type ?Self Opn-Fwt-Htr-Cv 2-1-Control-Volume)
(Value-Cardinality ?Self Opn-Fwt-Htr-Cv 1)
(Value-Cardinality ?Self Adbtc-Mxng-Prcs 1)
(Value-Type ?Self
Adbtc-Mxng-Prcs
Steady-Flow-Adiabatic-Mixing)
(Value-Cardinality ?Self Adbtc-Mxng-Prcs 1)
(Cv-Component (Opn-Fwt-Htr-Cv ?Self) (Opn-Fwt-Htr ?Self))
(Component-Cv (Opn-Fwt-Htr ?Self) (Opn-Fwt-Htr-Cv ?Self))
(Process-Cv (Adbtc-Mxng-Prcs ?Self) (Opn-Fwt-Htr-Cv ?Self))))
(Component-Cv (Fwt-Htr ?Self) (Fwt-Htr-Cv ?Self))
(=> (3-1-Open-Feedwater-Heater-System ?Self)
(And (Value-Cardinality ?Self Fwt-Htr 1)
(Value-Type ?Self Fwt-Htr 3-1-Open-Feedwater-Heater)
(Value-Cardinality ?Self Fwt-Htr 1)
(Value-Cardinality ?Self Fwt-Htr-Cv 1)
(Value-Type ?Self Fwt-Htr-Cv 3-1-Control-Volume)
(Value-Cardinality ?Self Fwt-Htr-Cv 1)
(Value-Cardinality ?Self Mxng-Prcs 1)
(Value-Type ?Self Mxng-Prcs Steady-Flow-Adiabatic-Mixing)
(Value-Cardinality ?Self Mxng-Prcs 1)
(Cv-Component (Fwt-Htr-Cv ?Self) (Fwt-Htr ?Self))
(Component-Cv (Fwt-Htr ?Self) (Fwt-Htr-Cv ?Self))
(Process-Cv (Mxng-Prcs ?Self) (Fwt-Htr-Cv ?Self))))
(Component-Cv (Cls-Fwt-Htr ?Self) (Chtr-Cv ?Self))
(=> (2-2-Closed-Feedwater-Heater-System ?Self)
(And (Value-Cardinality ?Self Cls-Fwt-Htr 1)
(Value-Type ?Self Cls-Fwt-Htr 2-2-Closed-Feedwater-Heater)
(Value-Cardinality ?Self Cls-Fwt-Htr 1)
(Value-Cardinality ?Self Chtr-Cv 1)
(Value-Type ?Self Chtr-Cv 2-2-Control-Volume)
(Value-Cardinality ?Self Chtr-Cv 1)
(Value-Cardinality ?Self Ht-Xchg-Prcs 1)
(Value-Type ?Self
Ht-Xchg-Prcs
Steady-Flow-Adiabatic-Heat-Exchange)
(Value-Cardinality ?Self Ht-Xchg-Prcs 1)
(Cv-Component (Chtr-Cv ?Self) (Cls-Fwt-Htr ?Self))
(Component-Cv (Cls-Fwt-Htr ?Self) (Chtr-Cv ?Self))
(Process-Cv (Ht-Xchg-Prcs ?Self) (Chtr-Cv ?Self))))
(Component-Cv (Sgen ?Self) (Sgen-Cv ?Self))
(=> (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))))
(Component-Cv (Pmp ?Self) (Pmp-Cv ?Self))
(=> (Pump-System ?Self)
(And (Value-Cardinality ?Self Pmp 1)
(Value-Type ?Self Pmp Pump)
(Value-Cardinality ?Self Pmp 1)
(Value-Cardinality ?Self Pmp-Cv 1)
(Value-Type ?Self Pmp-Cv 1-1-Control-Volume)
(Value-Cardinality ?Self Pmp-Cv 1)
(Value-Cardinality ?Self Adbtc-Cmpsn-Prcs 1)
(Value-Type ?Self
Adbtc-Cmpsn-Prcs
Steady-Flow-Adiabatic-Compression)
(Value-Cardinality ?Self Adbtc-Cmpsn-Prcs 1)
(Value-Cardinality ?Self Water-In-Pmp 1)
(Value-Type ?Self Water-In-Pmp Water)
(Value-Cardinality ?Self Water-In-Pmp 1)
(Cv-Component (Pmp-Cv ?Self) (Pmp ?Self))
(Component-Cv (Pmp ?Self) (Pmp-Cv ?Self))
(Process-Cv (Adbtc-Cmpsn-Prcs ?Self) (Pmp-Cv ?Self))
(Substance-In (Pmp-Cv ?Self) (Water-In-Pmp ?Self))
(Substance-In (Inlet-Stream (Pmp-Cv ?Self))
(Water-In-Pmp ?Self))
(Substance-In (Outlet-Stream (Pmp-Cv ?Self))
(Water-In-Pmp ?Self))))
(Component-Cv (Hot-Flow (Cnd ?Self)) (Hf-Cv ?Self))
(Component-Cv (Cold-Flow (Cnd ?Self)) (Cf-Cv ?Self))
(Component-Cv (Cnd ?Self) (Cnd-Cv ?Self))
(=> (Condensor-System ?Self)
(And (Value-Cardinality ?Self Cnd-Cv 1)
(Value-Type ?Self Cnd-Cv Control-Volume)
(Value-Cardinality ?Self Cnd-Cv 1)
(Value-Cardinality ?Self Adbtc-Hxg-Prcs 1)
(Value-Type ?Self
Adbtc-Hxg-Prcs
Steady-Flow-Adiabatic-Heat-Exchange)
(Value-Cardinality ?Self Adbtc-Hxg-Prcs 1)
(Value-Cardinality ?Self Cf-Cv 1)
(Value-Type ?Self Cf-Cv 1-1-Control-Volume)
(Value-Cardinality ?Self Cf-Cv 1)
(Value-Cardinality ?Self Hf-Cv 1)
(Value-Type ?Self Hf-Cv 1-1-Control-Volume)
(Value-Cardinality ?Self Hf-Cv 1)
(Value-Cardinality ?Self Water-In-Cnd 1)
(Value-Type ?Self Water-In-Cnd Water)
(Value-Cardinality ?Self Water-In-Cnd 1)
(Value-Cardinality ?Self Condensor-Heat-Out-Rate 1)
(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))))
(Component-Cv (Nzl ?Self) (Nzl-Cv ?Self))
(=> (Nozzle-System ?Self)
(And (Value-Cardinality ?Self Nzl 1)
(Value-Type ?Self Nzl Nozzle)
(Value-Cardinality ?Self Nzl 1)
(Value-Cardinality ?Self Nzl-Cv 1)
(Value-Type ?Self Nzl-Cv 1-1-Control-Volume)
(Value-Cardinality ?Self Nzl-Cv 1)
(Value-Cardinality ?Self Thrtlng-Prcs 1)
(Value-Type ?Self Thrtlng-Prcs Steady-Flow-Throttling)
(Value-Cardinality ?Self Thrtlng-Prcs 1)
(Cv-Component (Nzl-Cv ?Self) (Nzl ?Self))
(Component-Cv (Nzl ?Self) (Nzl-Cv ?Self))
(Process-Cv (Thrtlng-Prcs ?Self) (Nzl-Cv ?Self))))
(Component-Cv (Tbn ?Self) (Tbn-Cv ?Self))
(=> (Turbine-System ?Self)
(And (Value-Cardinality ?Self Tbn 1)
(Value-Type ?Self Tbn Simple-Turbine)
(Value-Cardinality ?Self Tbn 1)
(Value-Cardinality ?Self Tbn-Cv 1)
(Value-Type ?Self Tbn-Cv 1-1-Control-Volume)
(Value-Cardinality ?Self Tbn-Cv 1)
(Value-Cardinality ?Self Expsn-Prcs 1)
(Value-Type ?Self
Expsn-Prcs
Steady-Flow-Adiabatic-Expansion)
(Value-Cardinality ?Self Expsn-Prcs 1)
(Value-Cardinality ?Self Water-In-Tbn 1)
(Value-Type ?Self Water-In-Tbn Water)
(Value-Cardinality ?Self Water-In-Tbn 1)
(Cv-Component (Tbn-Cv ?Self) (Tbn ?Self))
(Component-Cv (Tbn ?Self) (Tbn-Cv ?Self))
(Process-Cv (Expsn-Prcs ?Self) (Tbn-Cv ?Self))
(Substance-In (Tbn-Cv ?Self) (Water-In-Tbn ?Self))
(Substance-In (Inlet-Stream (Tbn-Cv ?Self))
(Water-In-Tbn ?Self))
(Substance-In (Outlet-Stream (Tbn-Cv ?Self))
(Water-In-Tbn ?Self))))
(Component-Cv (Xtbn ?Self) (Xtbn-Cv ?Self))
(=> (Extraction-Turbine-System ?Self)
(And (Value-Cardinality ?Self Xtbn 1)
(Value-Type ?Self Xtbn Simple-Turbine)
(Value-Cardinality ?Self Xtbn 1)
(Value-Cardinality ?Self Xtbn-Cv 1)
(Value-Type ?Self Xtbn-Cv 1-2-Control-Volume)
(Value-Cardinality ?Self Xtbn-Cv 1)
(Value-Cardinality ?Self Expsn-Prcs 1)
(Value-Type ?Self Expsn-Prcs Steady-Flow-Expansion)
(Value-Cardinality ?Self Expsn-Prcs 1)
(Cv-Component (Xtbn-Cv ?Self) (Xtbn ?Self))
(Component-Cv (Xtbn ?Self) (Xtbn-Cv ?Self))
(Process-Cv (Expsn-Prcs ?Self) (Xtbn-Cv ?Self))))
(Component-Cv (Blr ?Self) (Blr-Cv ?Self))
(=> (Boiler-System ?Self)
(And (Value-Cardinality ?Self Blr 1)
(Value-Type ?Self Blr Boiler)
(Value-Cardinality ?Self Blr 1)
(Value-Cardinality ?Self Blr-Cv 1)
(Value-Type ?Self Blr-Cv 1-1-Control-Volume)
(Value-Cardinality ?Self Blr-Cv 1)
(Value-Cardinality ?Self Htfr-Prcs 1)
(Value-Type ?Self Htfr-Prcs Steady-Flow-Heat-Transfer)
(Value-Cardinality ?Self Htfr-Prcs 1)
(Value-Cardinality ?Self Water-In-Blr 1)
(Value-Type ?Self Water-In-Blr Water)
(Value-Cardinality ?Self Water-In-Blr 1)
(Cv-Component (Blr-Cv ?Self) (Blr ?Self))
(Component-Cv (Blr ?Self) (Blr-Cv ?Self))
(Process-Cv (Htfr-Prcs ?Self) (Blr-Cv ?Self))
(Substance-In (Blr-Cv ?Self) (Water-In-Blr ?Self))
(Substance-In (Inlet-Stream (Blr-Cv ?Self))
(Water-In-Blr ?Self))
(Substance-In (Outlet-Stream (Blr-Cv ?Self))
(Water-In-Blr ?Self))))