(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))))
(Inherited-Facet-Value Slot-Documentation
Control-Volume-Op-Mode
Cv-Involved
The Control Volume)
(Inherited-Facet-Value Slot-Value-Type
Control-Volume-Op-Mode
Cv-Involved
Control-Volume)
(Inherited-Facet-Value Slot-Cardinality
Control-Volume-Op-Mode
Cv-Involved
1)
(Forall (?Cv-Involved)
(<=> (Control-Volume ?Cv-Involved)
(Exists (?Self)
(And (Control-Volume-Op-Mode ?Self)
(= (Cv-Involved ?Self) ?Cv-Involved)))))
(Slot-Documentation Control-Volume-Op-Mode
Cv-Involved
The Control Volume)
(Has-Participant-Function Control-Volume-Op-Mode Cv-Involved)
(=> (Control-Volume-Op-Mode ?Self)
(And (Value-Cardinality ?Self Cv-Involved 1)
(Value-Type ?Self Cv-Involved Control-Volume)
(Value-Cardinality ?Self Cv-Involved 1)))
(=> (Cv-Involved $X $Y) (Control-Volume $Y))
(Forall (?Self)
(<=> (Control-Volume-Inlet-Stream-Ideal-Gas-Law ?Self)
(And (Control-Volume-Op-Mode ?Self)
(Ideal-Gas-P (Substance-In Cv-Involved) true))))
(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)
(<=> (Control-Volume-Outlet-Stream-Ideal-Gas-Law ?Self)
(And (Control-Volume-Op-Mode ?Self)
(Ideal-Gas-P (Substance-In Cv-Involved) true))))
(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)))))))))
(Forall (?Self)
(<=> (Control-Volume-Inlet-Stream-Thermodynamic-State ?Self)
(And (Air-Operating-Mode ?Self)
(Control-Volume-Op-Mode ?Self)
(Substance-In (Cv-Involved ?Self)
(Air-Involved ?Self)))))
(Forall
(?Self ?Time)
(=> (Active ?Time
Control-Volume-Inlet-Stream-Thermodynamic-State
?Self)
(Forall
(?X)
(=> (Inlets (Cv-Involved ?Self) ?X)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Specific-Enthalpy ?X) ?T)))
(Compute-Air-Thermodynamic-State
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Stream-Temperature ?X)
?T)))))))))
(Forall (?Self)
(<=> (Control-Volume-Outlet-Stream-Thermodynamic-State ?Self)
(And (Air-Operating-Mode ?Self)
(Control-Volume-Op-Mode ?Self)
(Substance-In (Cv-Involved ?Self)
(Air-Involved ?Self)))))
(Forall
(?Self ?Time)
(=> (Active ?Time
Control-Volume-Outlet-Stream-Thermodynamic-State
?Self)
(Forall
(?X)
(=> (Outlets (Cv-Involved ?Self) ?X)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (Specific-Enthalpy ?X) ?T)))
(Compute-Air-Thermodynamic-State
(Lambda (?T)
(If (= ?T ?Time)
(Value-At (Stream-Temperature ?X)
?T)))))))))
(Forall (?Self)
(<=> (Control-Volume-Negligible-Pe-Change ?Self)
(And (Control-Volume-Op-Mode ?Self)
(Even-Pe Cv-Involved true))))
(Forall (?Self ?Time)
(=> (Active ?Time Control-Volume-Negligible-Pe-Change ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Pe-Rate (Cv-Involved ?Self))
?T)))
0)))
(Forall (?Self)
(<=> (Control-Volume-Negligible-Ke-Change ?Self)
(And (Control-Volume-Op-Mode ?Self)
(Even-Ke Cv-Involved true))))
(Forall (?Self ?Time)
(=> (Active ?Time Control-Volume-Negligible-Ke-Change ?Self)
(= (Lambda (?T)
(If (= ?T ?Time)
(Value-At (D-Ke-Rate (Cv-Involved ?Self))
?T)))
0)))