Domain theory for engineering thermodynamics.
Cml Dme-Cml
No theories include Thermal-System.
*Dead-State*
1-1-Control-Volume-Op-Mode
Internally-Reversible-Adiabatic-Process
Pump-Power-Input-Per-Mass-Approximation
2-1-Open-Feedwater-Heater-System
2-2-Closed-Feedwater-Heater-System
2d-Stream-Operating-Mode
Non-Saturated-Water-Stream-Enthalpy
Saturated-Water-Stream-Enthalpy
Saturated-Water-Stream-Entropy
Saturated-Water-Stream-Specific-Volume
2d-Stream-Mass-Flow-Rate
2d-Stream-Enthalpy-Rate
2d-Stream-Potential-Energy
2d-Stream-Kinetic-Energy
3-1-Open-Feedwater-Heater-System
Air-Operating-Mode
Control-Volume-Inlet-Stream-Thermodynamic-State
Control-Volume-Outlet-Stream-Thermodynamic-State
Boiler-System
Compressor-System
Control-Volume-Op-Mode
Cycle-Heat-Input
Cycle-Work-Output
Control-Volume-Inlet-Stream-Ideal-Gas-Law
Control-Volume-Outlet-Stream-Ideal-Gas-Law
Control-Volume-Inlet-Stream-Thermodynamic-State
Control-Volume-Outlet-Stream-Thermodynamic-State
Control-Volume-Negligible-Pe-Change
Control-Volume-Negligible-Ke-Change
Earth-Bound-Model
2d-Stream-Potential-Energy
Extraction-Turbine-System
Nozzle-System
Pump-Operating-Mode
Pump-Power-Input-Per-Mass-Approximation
Pump-System
Steam-Generator-With-Reheat-System
Stream-Junction
Substance
Fuel
Water
Air
Substance-Container
Stream
2d-Stream
Control-Volume
1-Input-Control-Volume
1-1-Control-Volume
1-2-Control-Volume
1-Output-Control-Volume
1-1-Control-Volume
2-1-Control-Volume
3-1-Control-Volume
2-Input-Control-Volume
3-Input-Control-Volume
3-1-Control-Volume
2-1-Control-Volume
2-2-Control-Volume
2-Output-Control-Volume
1-2-Control-Volume
2-2-Control-Volume
System-With-Condensor
Condensor-System
Condensor-With-Heat-Transfer-System
Thermal-Component-Op-Mode
Cycle-Heat-Input
Thermal-Cycle-Op-Mode
Cycle-Heat-Input
Cycle-Work-Output
Thermal-Process
Steady-State-Steady-Flow-Process
Steady-Flow-Adiabatic-Process
Steady-Flow-Isentropic-Process
Steady-Flow-Adiabatic-Heat-Exchange
Steady-Flow-Adiabatic-Expansion
Steady-Flow-Adiabatic-Compression
Steady-Flow-Throttling
Steady-Flow-Adiabatic-Mixing
Steady-Flow-Combustion-Process
Steady-Flow-In-Nozzle
Steady-Flow-In-Diffuser
Steady-Flow-Isobaric-Process
Steady-Flow-Isobaric-Heat-Transfer
Steady-Flow-Isothermal-Process
Steady-Flow-Heat-Transfer
Steady-Flow-Isobaric-Heat-Transfer
Steady-Flow-Expansion-Or-Compression
Steady-Flow-Expansion
Steady-Flow-Adiabatic-Expansion
Steady-Flow-Throttling
Steady-Flow-In-Nozzle
Steady-Flow-Compression
Steady-Flow-Adiabatic-Compression
Steady-Flow-In-Diffuser
Non-Steady-State-Flow-Process
Thermal-Process-Op-Mode
Cycle-Heat-Input
Cycle-Work-Output
Pump-Power-Input-Per-Mass-Approximation
Thermal-System
Thermal-Cycle
Power-System-Eight-One
Power-System-With-Reheat
Power-System-With-Extraction-Turbines
Thermal-Component
Port
1-Input-Thermal-Component
1-1-Port-Thermal-Component
Nozzle
Simple-Turbine
2-Port-Heat-Exchanger
Compressor
Pump
Pump
Boiler
1-2-Port-Thermal-Component
Extraction-Turbine
1-Output-Thermal-Component
1-1-Port-Thermal-Component ...
2-1-Port-Thermal-Component
2-1-Open-Feedwater-Heater
3-1-Port-Thermal-Component
3-1-Open-Feedwater-Heater
2-Input-Thermal-Component
3-Input-Thermal-Component
3-1-Port-Thermal-Component ...
2-1-Port-Thermal-Component ...
2-2-Port-Thermal-Component
2-2-Open-Feedwater-Heater
2-2-Closed-Feedwater-Heater
Steam-Generator-With-Reheat
2-Output-Thermal-Component
1-2-Port-Thermal-Component ...
2-2-Port-Thermal-Component ...
Fuel-Consuming-Component
Work-Consuming-Component
Compressor ...
Work-Producing-Component
Internal-Combustion-Engine
Turbine
Simple-Turbine
Extraction-Turbine
Heating-Component
Cooling-Component
Rotating-Component
Positive-Displacement-Component
Reciprocating-Component
Internal-Combustion-Engine
Turbine ...
Heat-Exchanger
2-Port-Heat-Exchanger
4-Port-Heat-Exchanger
Open-Feedwater-Heater
2-1-Open-Feedwater-Heater
2-2-Open-Feedwater-Heater
3-1-Open-Feedwater-Heater
2-2-Closed-Feedwater-Heater
Turbine-System
Water-Operating-Mode
Non-Saturated-Water-Stream-Enthalpy
Saturated-Water-Stream-Enthalpy
Saturated-Water-Stream-Entropy
Saturated-Water-Stream-Specific-Volume
Component-Cv Contained-In Cv-Component Cycle-Processes Inlets Mutual-Dependence Outlets Process-Cv Undergoing
1-1-Cv-Involved 2d-Stream-Involved Acceleration-Due-To-Gravity Adbtc-Cmpsn-Prcs Adbtc-Hxg-Prcs Adbtc-Mxng-Prcs Adiabatic-Pr-Involved Air-Fuel-Ratio Air-In-Cmpsr Air-Involved Area Back-Work-Ratio Blr Blr-Cv Blr-System Blr-Tbn-Junction Bore Bore-Area Capacity Cdnsr-System Cf-Cv Chtr-Cv Chtr-Sgen-Junction Chtr-System Chtr-Trp-Junction Clearance-Volume Cls-Fwt-Htr Cmpsn-Prcs Cmpsr Cmpsr-Cv Cnd Cnd-Cv Cnd-Pmp-Junction Cnd-Pmp1-Junction Cnd-Sys Cnd-System Cnd-Tfr-Prcs Cndsr-Cv Cold-Flow Cold-Flow-Temperature-Out Component-Inlet Component-Inlet1 Component-Inlet2 Component-Inlet3 Component-Involved Component-Outlet Component-Outlet1 Component-Outlet2 Compression-Isentropic-Efficiency Compression-Ratio Compute-Air-Thermodynamic-State Compute-Enthalpy-Pressure-Specific-Entropy Compute-Saturated-Vapor-Enthalpy Compute-Saturated-Vapor-Entropy Compute-Saturated-Vapor-Specific-Volume Condensor-Heat-Out-Rate Connected-To-External-Heat-Source-P Cooling-Rate Cp-Junction Critical-Density Critical-Pressure Critical-Temperature Cv-Elevation Cv-Energy Cv-Enthalpy Cv-Entropy Cv-Internal-Energy Cv-Involved Cv-Ke Cv-Mass Cv-Pe Cv-Volume Cycle-Involved Cycle-Mass-Rate Cycles-Rate D-Entropy-Rate D-Ke-Rate D-Log-Mean-Temperature D-Pe-Rate D-Pressure-Cold D-Pressure-Hot Displacement Effectiveness Efficiency Emissions-Index Energy-Rate Enthalpy-Rate Enthalpy-Rate-In Enthalpy-Rate-Out Entropy-Generation-Rate Entropy-Rate Entropy-Rate-In Entropy-Rate-Out Even-Ke Even-Pe Expansion-Isentropic-Efficiency Expsn-Prcs Fuel-Supply-Rate Fwt-Htr Fwt-Htr-Cv Heat-Rate Heat-Supply-Rate Heat-Transfer-Rate Heat-Transfer-Temperature Heating-Rate Heating-Value Hf-Cv Hot-Flow Hot-Flow-Temperature-In Ht-Xchg-Prcs Htfr-Prcs Ideal-Gas-Constant Ideal-Gas-P Ideal-Heat-Rate Ideal-Isentropic-Enthalpy Ideal-Specific-Heat Inlet-Stream Inlet-Stream1 Inlet-Stream2 Inlet-Stream3 Internal-Energy-Rate Internally-Reversible-P Irreversibility-Rate Isentropic-Efficiency Ke-Rate Ke-Rate-In Ke-Rate-Out Mass-Rate Mass-Rate-In Mass-Rate-Out Max-Heat-Rate Max-Pressure Max-Temperature Mean-Effective-Pressure Molecular-Weight Mxng-Prcs Net-Heat-Input-Rate Net-Heat-Output-Rate Net-Work-Output-Rate Nzl Nzl-Cv Ohtr-Pmp2-Junction Ohtr-System Opn-Fwt-Htr Opn-Fwt-Htr-Cv Outlet-Stream Outlet-Stream1 Outlet-Stream2 Outlet-Velocity Overall-Heat-Transfer-Coefficient Pe-Rate Pe-Rate-In Pe-Rate-Out Pmp Pmp-Blr-Junction Pmp-Cv Pmp-Sgen-Junction Pmp-Sys Pmp-System Pmp-System1 Pmp-System2 Pmp1-Ohtr-Junction Pmp2-Chtr-Junction Port-Area Port-Elevation Power-Input Power-Input-Per-Mass Power-Output Pressure-Ratio Process-Involved Pump-Involved Quality Reference-Temperature Rotating-Speed Saturated-P Saturation-Pressure Saturation-Temperature Sgen Sgen-Cv Sgen-Sys Sgen-System Sgen-Tbn1-Junction Sgen-Tbn2-Junction Sgen-Xtbn1-Junction Sgen-Xtbn2-Junction Specific-Enthalpy Specific-Entropy Specific-Internal-Energy Specific-Volume Speed State-Entropy State-Pressure State-Temperature Stmgen-Htsr-Prcs Stream-Area Stream-Elevation Stream-Pressure Stream-Temperature Stroke Strokes-Per-Cycle Substance-In Tbn Tbn-Cnd-Junction Tbn-Cv Tbn-Sys1 Tbn-Sys2 Tbn-System Tbn1-Sgen-Junction Tbn2-Cnd-Junction Thermal-Efficiency Thrtlng-Prcs Trp-Ohtr-Junction Trp-System Velocity Volumetric-Efficiency Water-In-Blr Water-In-Cnd Water-In-Pmp Water-In-Tbn Water-Involved Work-Rate Working-Fluid-In-Cycle Xtbn Xtbn-Cv Xtbn-System1 Xtbn-System2 Xtbn1-Chtr-Junction Xtbn1-Sgen-Junction Xtbn2-Cnd-Junction Xtbn2-Ohtr-Junction
Acceleration-Dimension Amount-Dimension Ampere Area-Dimension Candela Current-Dimension Density-Dimension Dimensionless Energy-Rate-Dimension Entropy-Dimension Entropy-Rate-Dimension Frequency-Dimension Kelvin Kg/Mol Kg/M^3 Kilogram Luminosity-Dimension M/S^2 Mass-Rate-Dimension Meter Mole Molecular-Weight-Dimension Power-Dimension Pressure-Dimension Second Specific-Energy-Dimension Specific-Entropy-Dimension Specific-Volume-Dimension Temperature-Dimension Velocity-Dimension Volume-Dimension Work-Dimension
The following constants were used from included theories:
The following constants were undefined:
Participant-Function-Of Quantity-Function-Of Attribute-Function-Of
The following constants are defined in this theory and in an included theory without the definition in this theory being polymorphic: