(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)
(<=> (Cycle-Work-Output ?Self)
(And (Thermal-Process-Op-Mode ?Self)
(Thermal-Cycle-Op-Mode ?Self)
(Control-Volume-Op-Mode ?Self)
(Process-Cv Process-Involved Cv-Involved))))
(Forall (?Self ?Adiabatic-Pr-Involved)
(<=> (And (= (Adiabatic-Pr-Involved ?Self)
?Adiabatic-Pr-Involved)
(Internally-Reversible-Adiabatic-Process ?Self))
(And (1-1-Control-Volume-Op-Mode ?Self)
(Steady-Flow-Adiabatic-Process ?Adiabatic-Pr-Involved)
(Process-Cv ?Adiabatic-Pr-Involved 1-1-Cv-Involved)
(Internally-Reversible-P ?Adiabatic-Pr-Involved
True))))
(=> (Process-Cv $X $Y) (Control-Volume $Y))
(=> (Process-Cv $X $Y) (Thermal-Process $X))
(Forall
(?Self ?Time)
(=> (Active ?Time Steady-State-Steady-Flow-Process ?Self)
(And (Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate ?Self)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self)
?T))))
(+ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate-Out ?Cv)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate-In ?Cv)
?T))))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Pe-Rate ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Ke-Rate ?Cv)
?T)))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Generation-Rate ?Self)
?T)))
(+ (- (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Rate-In ?Cv)
?T))))
(- (/ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate ?Self)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Heat-Transfer-Temperature ?Self)
?T)))))))))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-In ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-Out ?Cv)
?T)))))))))
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-Isentropic-Process ?Self)
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Entropy-Rate ?Cv)
?T)))
0)))))
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-Adiabatic-Heat-Exchange ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self) ?T)))
0)
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Ke-Rate ?Cv)
?T)))
0)))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Pe-Rate ?Cv)
?T)))
0))))))
(Forall
(?Self ?Time)
(=> (Active ?Time Steady-Flow-Isobaric-Process ?Self)
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Stream-Pressure (Inlet-Stream ?Cv))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Stream-Pressure
(Outlet-Stream ?Cv))
?T))))))))
(Forall
(?Self ?Time)
(=> (Active ?Time Steady-Flow-Isothermal-Process ?Self)
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Temperature (Inlet-Stream ?Cv))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Temperature (Outlet-Stream ?Cv))
?T))))))))
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-Heat-Transfer ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self) ?T)))
0)
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Ke-Rate ?Cv)
?T)))
0)))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Pe-Rate ?Cv)
?T)))
0))))))
(Forall
(?Self ?Time)
(=> (Active ?Time Steady-Flow-Adiabatic-Expansion ?Self)
(And (Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Quality (Outlet-Stream ?Cv))
?T)))
(/ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Entropy
(Outlet-Stream ?Cv))
?T)))
(Compute-Saturated-Vapor-Entropy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(Outlet-Stream ?Cv))
?T)))
0))
(- (Compute-Saturated-Vapor-Entropy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(Outlet-Stream ?Cv))
?T)))
1)
(Compute-Saturated-Vapor-Entropy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(Outlet-Stream ?Cv))
?T)))
0))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Isentropic-Efficiency ?Self)
?T)))
(/ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream ?Cv))
?T))))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Ideal-Isentropic-Enthalpy ?Self)
?T))))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Expansion-Isentropic-Efficiency ?Self)
?T)))
(/ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream ?Cv))
?T))))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Ideal-Isentropic-Enthalpy ?Self)
?T)))))))))))
(Forall
(?Self ?Time)
(=> (Active ?Time Steady-Flow-Adiabatic-Compression ?Self)
(And (Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Compression-Isentropic-Efficiency ?Self)
?T)))
(/ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Ideal-Isentropic-Enthalpy ?Self)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv))
?T))))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream ?Cv))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv))
?T))))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Isentropic-Efficiency ?Self)
?T)))
(/ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream ?Cv))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv))
?T))))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Ideal-Isentropic-Enthalpy ?Self)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv))
?T))))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Power-Input-Per-Mass ?Self)
?T)))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream ?Cv))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Inlet-Stream ?Cv))
?T))))))))))
(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))))
(Forall (?Self)
(<=> (Steady-Flow-Throttling ?Self)
(And (Steady-Flow-Expansion ?Self)
(Steady-Flow-Adiabatic-Process ?Self)
(Process-Cv ?Self ?Cv)
(Undergoing Steady-Flow-Throttling ?Cv))))
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-Throttling ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self) ?T)))
0)
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Cv)
?T))))))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-In ?Cv)
?T)))))))))
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-Adiabatic-Mixing ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self) ?T)))
0)
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-In ?Cv)
?T))))))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Cv)
?T)))))))))
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-In-Nozzle ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self) ?T)))
0)
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Cv)
?T)))))))))
(Forall (?Self ?Time)
(=> (Active ?Time Steady-Flow-In-Diffuser ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self) ?T)))
0)
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Cv)
?T)))))))))
(Forall
(?Self ?Time)
(=> (Active ?Time Non-Steady-State-Flow-Process ?Self)
(And (Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate ?Self)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Work-Rate ?Self)
?T))))
(+ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate-Out ?Cv)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate-In ?Cv)
?T))))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Pe-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate-In ?Cv)
?T))))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Ke-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate-In ?Cv)
?T))))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Energy-Rate ?Cv)
?T)))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Energy-Rate ?Cv) ?T)))
(+ (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Internal-Energy-Rate ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate ?Cv) ?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate ?Cv) ?T)))))))
(Forall
(?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Generation-Rate ?Self)
?T)))
(+ (- (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Rate-Out ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Entropy-Rate-In ?Cv)
?T))))
(- (/ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate ?Self)
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Heat-Transfer-Temperature ?Self)
?T)))))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Rate ?Cv)
?T)))))))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Irreversibility-Rate ?Self)
?T)))
(* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Entropy-Generation-Rate ?Self)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At
(State-Temperature *Dead-State*)
?T)))))
(Forall (?Cv)
(=> (Process-Cv ?Self ?Cv)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate ?Cv) ?T)))
(- (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-In ?Cv)
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-Out ?Cv)
?T))))))))))
(Process-Cv (Cmpsn-Prcs ?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))))
(Process-Cv (Adbtc-Mxng-Prcs ?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))))
(Process-Cv (Mxng-Prcs ?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))))
(Process-Cv (Ht-Xchg-Prcs ?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))))
(Process-Cv (Stmgen-Htsr-Prcs ?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))))
(Process-Cv (Adbtc-Cmpsn-Prcs ?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))))
(Process-Cv (Adbtc-Hxg-Prcs ?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))))
(Process-Cv (Thrtlng-Prcs ?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))))
(Process-Cv (Expsn-Prcs ?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))))
(Process-Cv (Expsn-Prcs ?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))))
(Process-Cv (Htfr-Prcs ?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))))