(Forall (?Self ?Time)
(=> (Active ?Time Water ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Molecular-Weight ?Self)
?T)))
18.016)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Temperature ?Self)
?T)))
647.286)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Pressure ?Self)
?T)))
22.089)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Density ?Self)
?T)))
317.0)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Reference-Temperature ?Self)
?T)))
273.16)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ideal-Gas-Constant ?Self)
?T)))
461.51))))
(Forall (?Self ?Time)
(<=> (Active ?Time Water ?Self)
(And (Water ?Self) (Active ?Time Substance ?Self))))
(Inherited-Facet-Value Slot-Value-Type
Water-Operating-Mode
Water-Involved
Water)
(Forall (?Self ?Water-Involved)
(<=> (And (= (Water-Involved ?Self) ?Water-Involved)
(Water-Operating-Mode ?Self))
(And (Operating-Mode-Model ?Self)
(Water ?Water-Involved))))
(=> (Water-Operating-Mode ?Self)
(And (Value-Cardinality ?Self Water-Involved 1)
(Value-Type ?Self Water-Involved Water)
(Value-Cardinality ?Self Water-Involved 1)))
(=> (Water-Involved $X $Y) (Water $Y))
(Forall (?Self ?Time)
(=> (Active ?Time Water ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Molecular-Weight ?Self)
?T)))
18.016)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Temperature ?Self)
?T)))
647.286)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Pressure ?Self)
?T)))
22.089)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Density ?Self)
?T)))
317.0)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Reference-Temperature ?Self)
?T)))
273.16)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ideal-Gas-Constant ?Self)
?T)))
461.51))))
(Forall (?Self ?Time)
(<=> (Active ?Time Water ?Self)
(And (Water ?Self) (Active ?Time Substance ?Self))))
(Inherited-Facet-Value Slot-Value-Type
Pump-System
Water-In-Pmp
Water)
(=> (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))))
(=> (Water-In-Pmp $X $Y) (Water $Y))
(Inherited-Facet-Value Slot-Value-Type
Condensor-System
Water-In-Cnd
Water)
(=> (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))))
(=> (Water-In-Cnd $X $Y) (Water $Y))
(Inherited-Facet-Value Slot-Value-Type
Turbine-System
Water-In-Tbn
Water)
(=> (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))))
(=> (Water-In-Tbn $X $Y) (Water $Y))
(Inherited-Facet-Value Slot-Value-Type
Boiler-System
Water-In-Blr
Water)
(=> (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))))
(=> (Water-In-Blr $X $Y) (Water $Y))
(Inherited-Facet-Value Slot-Value-Type
Power-System-Eight-One
Working-Fluid-In-Cycle
Water)
(=> (Power-System-Eight-One ?Self)
(And (Value-Cardinality ?Self Blr-System 1)
(Value-Type ?Self Blr-System Boiler-System)
(Value-Cardinality ?Self Blr-System 1)
(Value-Cardinality ?Self Tbn-System 1)
(Value-Type ?Self Tbn-System Turbine-System)
(Value-Cardinality ?Self Tbn-System 1)
(Value-Cardinality ?Self Cdnsr-System 1)
(Value-Type ?Self Cdnsr-System Condensor-System)
(Value-Cardinality ?Self Cdnsr-System 1)
(Value-Cardinality ?Self Pmp-System 1)
(Value-Type ?Self Pmp-System Pump-System)
(Value-Cardinality ?Self Pmp-System 1)
(Value-Cardinality ?Self Cnd-Pmp-Junction 1)
(Value-Type ?Self Cnd-Pmp-Junction Stream-Junction)
(Value-Cardinality ?Self Cnd-Pmp-Junction 1)
(Value-Cardinality ?Self Blr-Tbn-Junction 1)
(Value-Type ?Self Blr-Tbn-Junction Stream-Junction)
(Value-Cardinality ?Self Blr-Tbn-Junction 1)
(Value-Cardinality ?Self Tbn-Cnd-Junction 1)
(Value-Type ?Self Tbn-Cnd-Junction Stream-Junction)
(Value-Cardinality ?Self Tbn-Cnd-Junction 1)
(Value-Cardinality ?Self Pmp-Blr-Junction 1)
(Value-Type ?Self Pmp-Blr-Junction Stream-Junction)
(Value-Cardinality ?Self Pmp-Blr-Junction 1)
(Value-Cardinality ?Self Working-Fluid-In-Cycle 1)
(Value-Type ?Self Working-Fluid-In-Cycle Water)
(Value-Cardinality ?Self Working-Fluid-In-Cycle 1)
(Connected-Terminals (Blr-Tbn-Junction ?Self)
(Outlet-Stream (Blr-Cv (Blr-System ?Self))))
(Connected-Terminals (Blr-Tbn-Junction ?Self)
(Inlet-Stream (Tbn-Cv (Tbn-System ?Self))))
(Connected-Terminals (Tbn-Cnd-Junction ?Self)
(Outlet-Stream (Tbn-Cv (Tbn-System ?Self))))
(Connected-Terminals (Tbn-Cnd-Junction ?Self)
(Inlet-Stream (Hf-Cv (Cdnsr-System ?Self))))
(Connected-Terminals (Cnd-Pmp-Junction ?Self)
(Outlet-Stream (Hf-Cv (Cdnsr-System ?Self))))
(Connected-Terminals (Cnd-Pmp-Junction ?Self)
(Inlet-Stream (Pmp-Cv (Pmp-System ?Self))))
(Connected-Terminals (Pmp-Blr-Junction ?Self)
(Outlet-Stream (Pmp-Cv (Pmp-System ?Self))))
(Connected-Terminals (Pmp-Blr-Junction ?Self)
(Inlet-Stream (Blr-Cv (Blr-System ?Self))))))
(=> (Working-Fluid-In-Cycle $X $Y) (Water $Y))