(Inherited-Facet-Value Slot-Documentation
2d-Stream-Operating-Mode
2d-Stream-Involved
The 2d Stream Involved)
(Inherited-Facet-Value Slot-Value-Type
2d-Stream-Operating-Mode
2d-Stream-Involved
2d-Stream)
(Inherited-Facet-Value Slot-Cardinality
2d-Stream-Operating-Mode
2d-Stream-Involved
1)
(Forall (?Self ?2d-Stream-Involved)
(<=> (And (= (2d-Stream-Involved ?Self) ?2d-Stream-Involved)
(2d-Stream-Operating-Mode ?Self))
(And (Operating-Mode-Model ?Self)
(2d-Stream ?2d-Stream-Involved))))
(Slot-Documentation 2d-Stream-Operating-Mode
2d-Stream-Involved
The 2d Stream Involved)
(Has-Participant-Function 2d-Stream-Operating-Mode
2d-Stream-Involved)
(=> (2d-Stream-Operating-Mode ?Self)
(And (Value-Cardinality ?Self 2d-Stream-Involved 1)
(Value-Type ?Self 2d-Stream-Involved 2d-Stream)
(Value-Cardinality ?Self 2d-Stream-Involved 1)))
(=> (2d-Stream-Involved $X $Y) (2d-Stream $Y))
(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 ?Time)
(=> (Active ?Time Non-Saturated-Water-Stream-Enthalpy ?Self)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy (2d-Stream-Involved ?Self))
?T)))
(+ (Compute-Saturated-Vapor-Enthalpy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(2d-Stream-Involved ?Self))
?T)))
0)
(* (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Quality (2d-Stream-Involved ?Self))
?T)))
(- (Compute-Saturated-Vapor-Enthalpy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(2d-Stream-Involved ?Self))
?T)))
1)
(Compute-Saturated-Vapor-Enthalpy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure
(2d-Stream-Involved ?Self))
?T)))
0)))))))
(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 ?Time)
(=> (Active ?Time Saturated-Water-Stream-Enthalpy ?Self)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy (2d-Stream-Involved ?Self))
?T)))
(Compute-Saturated-Vapor-Enthalpy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure (2d-Stream-Involved ?Self))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Quality (2d-Stream-Involved ?Self))
?T)))))))
(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 ?Time)
(=> (Active ?Time Saturated-Water-Stream-Entropy ?Self)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Specific-Entropy
(2d-Stream-Involved ?Self))
?T)))
(Compute-Saturated-Vapor-Entropy
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure (2d-Stream-Involved ?Self))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Quality (2d-Stream-Involved ?Self))
?T)))))))
(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))))
(Forall
(?Self ?Time)
(=> (Active ?Time Saturated-Water-Stream-Specific-Volume ?Self)
(= (Lambda
(?T)
(If (= ?T ?Time)
(Value-At (Specific-Volume (2d-Stream-Involved ?Self))
?T)))
(Compute-Saturated-Vapor-Specific-Volume
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Pressure (2d-Stream-Involved ?Self))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Quality (2d-Stream-Involved ?Self))
?T)))))))
(Forall
(?Self ?Time)
(=> (Active ?Time 2d-Stream-Mass-Flow-Rate ?Self)
(= (* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate
(2d-Stream-Involved ?Self))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Volume (2d-Stream-Involved ?Self))
?T))))
(* (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Stream-Area (2d-Stream-Involved ?Self))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Velocity (2d-Stream-Involved ?Self))
?T)))))))
(Forall
(?Self ?Time)
(=> (Active ?Time 2d-Stream-Enthalpy-Rate ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At
(Enthalpy-Rate (2d-Stream-Involved ?Self))
?T)))
(* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate
(2d-Stream-Involved ?Self))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Specific-Enthalpy (2d-Stream-Involved ?Self))
?T)))))))
(Forall
(?Self ?Time)
(=> (Active ?Time 2d-Stream-Potential-Energy ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Pe-Rate (2d-Stream-Involved ?Self))
?T)))
(* (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate
(2d-Stream-Involved ?Self))
?T)))
(Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Stream-Elevation (2d-Stream-Involved ?Self))
?T)))
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Acceleration-Due-To-Gravity ?Self)
?T)))))))
(Forall
(?Self ?Time)
(=> (Active ?Time 2d-Stream-Kinetic-Energy ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ke-Rate (2d-Stream-Involved ?Self))
?T)))
(* 0.5
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Mass-Rate
(2d-Stream-Involved ?Self))
?T)))
(Expt (Lambda
(?T)
(If (= ?T ?Time)
(Value-At
(Velocity (2d-Stream-Involved ?Self))
?T)))
2)))))