(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 ?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)))))))))
(Inherited-Facet-Value
Slot-Documentation
Substance
Ideal-Gas-Constant
The Gas Constant (Universal Gas Constant / Molecular Weight) Of The Substance When It Is Modeled As Ideal Gas)
(Inherited-Facet-Value Slot-Cardinality
Substance
Ideal-Gas-Constant
1)
(Has-Quantity-Function Substance Ideal-Gas-Constant)
(Slot-Documentation
Substance
Ideal-Gas-Constant
The Gas Constant (Universal Gas Constant / Molecular Weight) Of The Substance When It Is Modeled As Ideal Gas)
(=> (Substance ?Self)
(And (Value-Cardinality ?Self Saturation-Pressure 1)
(Quantity.Dimension (Saturation-Pressure ?Self)
Pressure-Dimension)
(Value-Cardinality ?Self Saturation-Temperature 1)
(Quantity.Dimension (Saturation-Temperature ?Self)
Temperature-Dimension)
(Value-Cardinality ?Self Ideal-Specific-Heat 1)
(Quantity.Dimension (Ideal-Specific-Heat ?Self)
Specific-Energy-Dimension)
(Value-Cardinality ?Self Molecular-Weight 1)
(Quantity.Dimension (Molecular-Weight ?Self)
Amount-Dimension)
(Value-Cardinality ?Self Critical-Temperature 1)
(Quantity.Dimension (Critical-Temperature ?Self)
Temperature-Dimension)
(Value-Cardinality ?Self Critical-Pressure 1)
(Quantity.Dimension (Critical-Pressure ?Self)
Pressure-Dimension)
(Value-Cardinality ?Self Critical-Density 1)
(Quantity.Dimension (Critical-Density ?Self)
Density-Dimension)
(Value-Cardinality ?Self Reference-Temperature 1)
(Quantity.Dimension (Reference-Temperature ?Self)
Temperature-Dimension)
(Value-Cardinality ?Self Ideal-Gas-Constant 1)
(Value-Cardinality ?Self Ideal-Gas-P 1)))
(=> (Ideal-Gas-Constant $X $Y) (Everywhere-Continuous-Quantity $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 Air ?Self)
(And (= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Molecular-Weight ?Self)
?T)))
28.97)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Temperature ?Self)
?T)))
133)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Critical-Pressure ?Self)
?T)))
37.7)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Ideal-Gas-Constant ?Self)
?T)))
286.99))))