(=> (Substance-In $X $Y) (Substance $Y))
(=> (Substance-In $X $Y) (Substance-Container $X))
(Forall (?Self)
(<=> (Control-Volume-Inlet-Stream-Ideal-Gas-Law ?Self)
(And (Control-Volume-Op-Mode ?Self)
(Ideal-Gas-P (Substance-In Cv-Involved) true))))
(Forall
(?Self ?Time)
(=> (Active ?Time
Control-Volume-Inlet-Stream-Ideal-Gas-Law
?Self)
(Forall
(?X)
(=> (Inlets (Cv-Involved ?Self) ?X)
(= (* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Stream-Pressure ?X) ?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Specific-Volume ?X) ?T))))
(* (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Ideal-Gas-Constant
(Substance-In (Cv-Involved ?Self)))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Stream-Temperature ?X)
?T)))))))))
(Forall (?Self)
(<=> (Control-Volume-Outlet-Stream-Ideal-Gas-Law ?Self)
(And (Control-Volume-Op-Mode ?Self)
(Ideal-Gas-P (Substance-In Cv-Involved) true))))
(Forall
(?Self ?Time)
(=> (Active ?Time
Control-Volume-Outlet-Stream-Ideal-Gas-Law
?Self)
(Forall
(?X)
(=> (Outlets (Cv-Involved ?Self) ?X)
(= (* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Stream-Pressure ?X) ?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Specific-Volume ?X) ?T))))
(* (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Ideal-Gas-Constant
(Substance-In (Cv-Involved ?Self)))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Stream-Temperature ?X)
?T)))))))))
(Forall (?Self)
(<=> (Control-Volume-Inlet-Stream-Thermodynamic-State ?Self)
(And (Air-Operating-Mode ?Self)
(Control-Volume-Op-Mode ?Self)
(Substance-In (Cv-Involved ?Self)
(Air-Involved ?Self)))))
(Forall (?Self)
(<=> (Control-Volume-Outlet-Stream-Thermodynamic-State ?Self)
(And (Air-Operating-Mode ?Self)
(Control-Volume-Op-Mode ?Self)
(Substance-In (Cv-Involved ?Self)
(Air-Involved ?Self)))))
(Forall (?Self)
(<=> (Non-Saturated-Water-Stream-Enthalpy ?Self)
(And (Water-Operating-Mode ?Self)
(2d-Stream-Operating-Mode ?Self)
(Substance-In 2d-Stream-Involved Water-Involved)
(Saturated-P 2d-Stream-Involved false))))
(Forall (?Self)
(<=> (Saturated-Water-Stream-Enthalpy ?Self)
(And (2d-Stream-Operating-Mode ?Self)
(Water-Operating-Mode ?Self)
(Substance-In 2d-Stream-Involved Water-Involved)
(Saturated-P 2d-Stream-Involved true))))
(Forall (?Self)
(<=> (Saturated-Water-Stream-Entropy ?Self)
(And (2d-Stream-Operating-Mode ?Self)
(Water-Operating-Mode ?Self)
(Substance-In 2d-Stream-Involved Water-Involved)
(Saturated-P 2d-Stream-Involved true))))
(Forall (?Self)
(<=> (Saturated-Water-Stream-Specific-Volume ?Self)
(And (2d-Stream-Operating-Mode ?Self)
(Water-Operating-Mode ?Self)
(Substance-In 2d-Stream-Involved Water-Involved)
(Saturated-P 2d-Stream-Involved true))))
(Substance-In (Cmpsr-Cv ?Self) (Air-In-Cmpsr ?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))))
(Substance-In (Outlet-Stream (Pmp-Cv ?Self)) (Water-In-Pmp ?Self))
(Substance-In (Inlet-Stream (Pmp-Cv ?Self)) (Water-In-Pmp ?Self))
(Substance-In (Pmp-Cv ?Self) (Water-In-Pmp ?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))))
(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))
(=> (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))))
(Substance-In (Outlet-Stream (Tbn-Cv ?Self)) (Water-In-Tbn ?Self))
(Substance-In (Inlet-Stream (Tbn-Cv ?Self)) (Water-In-Tbn ?Self))
(Substance-In (Tbn-Cv ?Self) (Water-In-Tbn ?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))))
(Substance-In (Outlet-Stream (Blr-Cv ?Self)) (Water-In-Blr ?Self))
(Substance-In (Inlet-Stream (Blr-Cv ?Self)) (Water-In-Blr ?Self))
(Substance-In (Blr-Cv ?Self) (Water-In-Blr ?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))))