(Quantity.Dimension (Condensor-Heat-Out-Rate ?Self) Power-Dimension)
(Inherited-Facet-Value Slot-Cardinality
Condensor-System
Condensor-Heat-Out-Rate
1)
(Has-Quantity-Function Condensor-System Condensor-Heat-Out-Rate)
(=> (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))))
(=> (Condensor-Heat-Out-Rate $X $Y)
(Everywhere-Continuous-Quantity $Y))
(Forall
(?Self ?Time)
(=> (Active ?Time Power-System-Eight-One ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Thermal-Efficiency ?Self) ?T)))
(/ (- (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Blr-Cv (Blr-System ?Self))))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Tbn-Cv (Tbn-System ?Self))))
?T))))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Pmp-Cv (Pmp-System ?Self))))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Hf-Cv (Cdnsr-System ?Self))))
?T)))))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Blr-Cv (Blr-System ?Self))))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Pmp-Cv (Pmp-System ?Self))))
?T))))))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Back-Work-Ratio ?Self) ?T)))
(/ (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Pmp-Cv (Pmp-System ?Self))))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Hf-Cv (Cdnsr-System ?Self))))
?T))))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Blr-Cv (Blr-System ?Self))))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Tbn-Cv (Tbn-System ?Self))))
?T))))))
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Heat-Rate
(Htfr-Prcs (Blr-System ?Self)))
?T)))
(* (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Mass-Rate-In (Blr-Cv (Blr-System ?Self)))
?T)))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Blr-Cv (Blr-System ?Self))))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Pmp-Cv (Pmp-System ?Self))))
?T))))
(/ 1 3600000)))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Cycle-Mass-Rate ?Self) ?T)))
(* 3.6
(/ (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Net-Work-Output-Rate ?Self)
?T)))
(- (- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Blr-Cv
(Blr-System ?Self))))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Tbn-Cv
(Tbn-System ?Self))))
?T))))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Pmp-Cv
(Pmp-System ?Self))))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Hf-Cv (Cdnsr-System ?Self))))
?T))))))))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Cycle-Mass-Rate ?Self) ?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-In
(Blr-Cv (Blr-System ?Self)))
?T))))
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Cycle-Mass-Rate ?Self) ?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate-In
(Tbn-Cv (Tbn-System ?Self)))
?T))))
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Condensor-Heat-Out-Rate
(Cdnsr-System ?Self))
?T)))
(* (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Cycle-Mass-Rate
(Hf-Cv (Cdnsr-System ?Self)))
?T)))
(- (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Tbn-Cv (Tbn-System ?Self))))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy
(Outlet-Stream
(Hf-Cv (Cdnsr-System ?Self))))
?T)))))))))