(Quantity.Dimension (Back-Work-Ratio ?Self) Dimensionless)
(Quantity.Dimension (Thermal-Efficiency ?Self) Dimensionless)
(=> (Thermal-Cycle ?Self)
(And (Value-Cardinality ?Self Net-Heat-Output-Rate 1)
(Quantity.Dimension (Net-Heat-Output-Rate ?Self)
Power-Dimension)
(Value-Cardinality ?Self Net-Work-Output-Rate 1)
(Quantity.Dimension (Net-Work-Output-Rate ?Self)
Power-Dimension)
(Value-Cardinality ?Self Net-Heat-Input-Rate 1)
(Quantity.Dimension (Net-Heat-Input-Rate ?Self)
Power-Dimension)
(Value-Cardinality ?Self Thermal-Efficiency 1)
(Quantity.Dimension (Thermal-Efficiency ?Self)
Dimensionless)
(Value-Cardinality ?Self Back-Work-Ratio 1)
(Quantity.Dimension (Back-Work-Ratio ?Self) Dimensionless)
(Value-Cardinality ?Self Cycle-Mass-Rate 1)
(Quantity.Dimension (Cycle-Mass-Rate ?Self)
Mass-Rate-Dimension)))
(Quantity.Dimension (Efficiency ?Self) Dimensionless)
(=> (Thermal-Component ?Self)
(And (Value-Cardinality ?Self Efficiency 1)
(Quantity.Dimension (Efficiency ?Self) Dimensionless)
(Value-Cardinality ?Self Capacity 1)
(Value-Cardinality ?Self
Connected-To-External-Heat-Source-P
1)))
(Quantity.Dimension (Compression-Ratio ?Self) Dimensionless)
(Quantity.Dimension (Clearance-Volume ?Self) Dimensionless)
(Quantity.Dimension (Volumetric-Efficiency ?Self) Dimensionless)
(=> (Positive-Displacement-Component ?Self)
(And (Value-Cardinality ?Self Displacement 1)
(Quantity.Dimension (Displacement ?Self) Volume-Dimension)
(Value-Cardinality ?Self Speed 1)
(Quantity.Dimension (Speed ?Self) Frequency-Dimension)
(Value-Cardinality ?Self Cycles-Rate 1)
(Quantity.Dimension (Cycles-Rate ?Self) Frequency-Dimension)
(Value-Cardinality ?Self Mean-Effective-Pressure 1)
(Quantity.Dimension (Mean-Effective-Pressure ?Self)
Pressure-Dimension)
(Value-Cardinality ?Self Volumetric-Efficiency 1)
(Quantity.Dimension (Volumetric-Efficiency ?Self)
Dimensionless)
(Value-Cardinality ?Self Clearance-Volume 1)
(Quantity.Dimension (Clearance-Volume ?Self) Dimensionless)
(Value-Cardinality ?Self Compression-Ratio 1)
(Quantity.Dimension (Compression-Ratio ?Self) Dimensionless)))
(Quantity.Dimension (Air-Fuel-Ratio ?Self) Dimensionless)
(=> (Internal-Combustion-Engine ?Self)
(And (Value-Cardinality ?Self Air-Fuel-Ratio 1)
(Quantity.Dimension (Air-Fuel-Ratio ?Self) Dimensionless)
(Value-Cardinality ?Self Emissions-Index 1)))
(Quantity.Dimension (Strokes-Per-Cycle ?Self) Dimensionless)
(=> (Reciprocating-Component ?Self)
(And (Value-Cardinality ?Self Stroke 1)
(Quantity.Dimension (Stroke ?Self) Length-Dimension)
(Value-Cardinality ?Self Bore-Area 1)
(Quantity.Dimension (Bore-Area ?Self) Area-Dimension)
(Value-Cardinality ?Self Bore 1)
(Quantity.Dimension (Bore ?Self) Length-Dimension)
(Value-Cardinality ?Self Strokes-Per-Cycle 1)
(Quantity.Dimension (Strokes-Per-Cycle ?Self) Dimensionless)))
(Quantity.Dimension (Overall-Heat-Transfer-Coefficient ?Self)
Dimensionless)
(=> (Heat-Exchanger ?Self)
(And (Value-Cardinality ?Self Area 1)
(Quantity.Dimension (Area ?Self) Area-Dimension)
(Value-Cardinality ?Self
Overall-Heat-Transfer-Coefficient
1)
(Quantity.Dimension (Overall-Heat-Transfer-Coefficient ?Self)
Dimensionless)
(Value-Cardinality ?Self Heat-Transfer-Rate 1)
(Quantity.Dimension (Heat-Transfer-Rate ?Self)
Power-Dimension)
(Value-Cardinality ?Self Max-Pressure 1)
(Quantity.Dimension (Max-Pressure ?Self) Pressure-Dimension)
(Value-Cardinality ?Self Max-Temperature 1)
(Quantity.Dimension (Max-Temperature ?Self)
Temperature-Dimension)
(Value-Cardinality ?Self Max-Heat-Rate 1)
(Quantity.Dimension (Max-Heat-Rate ?Self) Power-Dimension)
(Value-Cardinality ?Self Ideal-Heat-Rate 1)
(Quantity.Dimension (Ideal-Heat-Rate ?Self) Power-Dimension)))
(Quantity.Dimension (Effectiveness ?Self) Dimensionless)
(=> (4-Port-Heat-Exchanger ?Self)
(And (Value-Cardinality ?Self Hot-Flow 1)
(Value-Type ?Self Hot-Flow 2-Port-Heat-Exchanger)
(Value-Cardinality ?Self Hot-Flow 1)
(Value-Cardinality ?Self Cold-Flow 1)
(Value-Type ?Self Cold-Flow 2-Port-Heat-Exchanger)
(Value-Cardinality ?Self Cold-Flow 1)
(Value-Cardinality ?Self Effectiveness 1)
(Quantity.Dimension (Effectiveness ?Self) Dimensionless)
(Value-Cardinality ?Self Hot-Flow-Temperature-In 1)
(Quantity.Dimension (Hot-Flow-Temperature-In ?Self)
Temperature-Dimension)
(Value-Cardinality ?Self Cold-Flow-Temperature-Out 1)
(Quantity.Dimension (Cold-Flow-Temperature-Out ?Self)
Temperature-Dimension)
(Value-Cardinality ?Self D-Log-Mean-Temperature 1)
(Quantity.Dimension (D-Log-Mean-Temperature ?Self)
Temperature-Dimension)
(Value-Cardinality ?Self D-Pressure-Hot 1)
(Quantity.Dimension (D-Pressure-Hot ?Self)
Pressure-Dimension)
(Value-Cardinality ?Self D-Pressure-Cold 1)
(Quantity.Dimension (D-Pressure-Cold ?Self)
Pressure-Dimension)))
(Quantity.Dimension (Pressure-Ratio ?Self) Dimensionless)
(=> (Compressor ?Self)
(And (Value-Cardinality ?Self Pressure-Ratio 1)
(Quantity.Dimension (Pressure-Ratio ?Self) Dimensionless)))
(Quantity.Dimension (Quality ?Self) Dimensionless)
(=> (Stream ?Self)
(And (Value-Cardinality ?Self Stream-Elevation 1)
(Quantity.Dimension (Stream-Elevation ?Self)
Length-Dimension)
(Value-Cardinality ?Self Enthalpy-Rate 1)
(Quantity.Dimension (Enthalpy-Rate ?Self) Power-Dimension)
(Value-Cardinality ?Self Entropy-Rate 1)
(Quantity.Dimension (Entropy-Rate ?Self)
Entropy-Rate-Dimension)
(Value-Cardinality ?Self Ke-Rate 1)
(Quantity.Dimension (Ke-Rate ?Self) Power-Dimension)
(Value-Cardinality ?Self Mass-Rate 1)
(Quantity.Dimension (Mass-Rate ?Self) Mass-Rate-Dimension)
(Value-Cardinality ?Self Pe-Rate 1)
(Quantity.Dimension (Pe-Rate ?Self) Power-Dimension)
(Value-Cardinality ?Self Stream-Pressure 1)
(Quantity.Dimension (Stream-Pressure ?Self)
Pressure-Dimension)
(Value-Cardinality ?Self Specific-Enthalpy 1)
(Quantity.Dimension (Specific-Enthalpy ?Self)
Specific-Energy-Dimension)
(Value-Cardinality ?Self Specific-Entropy 1)
(Quantity.Dimension (Specific-Entropy ?Self)
Specific-Entropy-Dimension)
(Value-Cardinality ?Self Specific-Internal-Energy 1)
(Quantity.Dimension (Specific-Internal-Energy ?Self)
Specific-Energy-Dimension)
(Value-Cardinality ?Self Stream-Temperature 1)
(Quantity.Dimension (Stream-Temperature ?Self)
Temperature-Dimension)
(Value-Cardinality ?Self Velocity 1)
(Quantity.Dimension (Velocity ?Self) Velocity-Dimension)
(Value-Cardinality ?Self Quality 1)
(Quantity.Dimension (Quality ?Self) Dimensionless)
(Value-Cardinality ?Self Specific-Volume 1)
(Quantity.Dimension (Specific-Volume ?Self)
Specific-Volume-Dimension)
(Value-Cardinality ?Self Saturated-P 1)))
(Quantity.Dimension (Isentropic-Efficiency ?Self) Dimensionless)
(=> (Steady-Flow-Expansion-Or-Compression ?Self)
(And (Value-Cardinality ?Self Isentropic-Efficiency 1)
(Quantity.Dimension (Isentropic-Efficiency ?Self)
Dimensionless)
(Value-Cardinality ?Self Ideal-Isentropic-Enthalpy 1)
(Quantity.Dimension (Ideal-Isentropic-Enthalpy ?Self)
Energy-Dimension)))
(Quantity.Dimension (Expansion-Isentropic-Efficiency ?Self)
Dimensionless)
(=> (Steady-Flow-Adiabatic-Expansion ?Self)
(And (Value-Cardinality ?Self Expansion-Isentropic-Efficiency 1)
(Quantity.Dimension (Expansion-Isentropic-Efficiency ?Self)
Dimensionless)))
(Quantity.Dimension (Compression-Isentropic-Efficiency ?Self)
Dimensionless)
(=> (Steady-Flow-Adiabatic-Compression ?Self)
(And (Value-Cardinality ?Self
Compression-Isentropic-Efficiency
1)
(Quantity.Dimension (Compression-Isentropic-Efficiency ?Self)
Dimensionless)))