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
2d-Stream-Enthalpy-Rate
2d-Stream-Kinetic-Energy
2d-Stream-Mass-Flow-Rate
2d-Stream-Potential-Energy
Non-Saturated-Water-Stream-Enthalpy
Saturated-Water-Stream-Enthalpy
Saturated-Water-Stream-Entropy
Saturated-Water-Stream-Specific-Volume
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
Control-Volume-Inlet-Stream-Ideal-Gas-Law
Control-Volume-Inlet-Stream-Thermodynamic-State
Control-Volume-Negligible-Ke-Change
Control-Volume-Negligible-Pe-Change
Control-Volume-Outlet-Stream-Ideal-Gas-Law
Control-Volume-Outlet-Stream-Thermodynamic-State
Cycle-Heat-Input
Cycle-Work-Output
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
Air
Fuel
Water
Substance-Container
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
2-1-Control-Volume
2-2-Control-Volume
3-Input-Control-Volume
3-1-Control-Volume
2-Output-Control-Volume
1-2-Control-Volume
2-2-Control-Volume
Stream
2d-Stream
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
Non-Steady-State-Flow-Process
Steady-State-Steady-Flow-Process
Steady-Flow-Adiabatic-Process
Steady-Flow-Adiabatic-Compression
Steady-Flow-Adiabatic-Expansion
Steady-Flow-Adiabatic-Heat-Exchange
Steady-Flow-Adiabatic-Mixing
Steady-Flow-Combustion-Process
Steady-Flow-In-Diffuser
Steady-Flow-In-Nozzle
Steady-Flow-Isentropic-Process
Steady-Flow-Throttling
Steady-Flow-Compression
Steady-Flow-Adiabatic-Compression
Steady-Flow-In-Diffuser
Steady-Flow-Expansion-Or-Compression
Steady-Flow-Expansion
Steady-Flow-Adiabatic-Expansion
Steady-Flow-In-Nozzle
Steady-Flow-Throttling
Steady-Flow-Heat-Transfer
Steady-Flow-Isobaric-Heat-Transfer
Steady-Flow-Isobaric-Process
Steady-Flow-Isobaric-Heat-Transfer
Steady-Flow-Isothermal-Process
Thermal-Process-Op-Mode
Cycle-Heat-Input
Cycle-Work-Output
Pump-Power-Input-Per-Mass-Approximation
Thermal-System
Thermal-Component
1-Input-Thermal-Component
1-1-Port-Thermal-Component
2-Port-Heat-Exchanger
Boiler
Compressor
Pump
Nozzle
Pump
Simple-Turbine
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
2-1-Port-Thermal-Component ...
2-2-Port-Thermal-Component
2-2-Closed-Feedwater-Heater
2-2-Open-Feedwater-Heater
Steam-Generator-With-Reheat
3-Input-Thermal-Component
3-1-Port-Thermal-Component ...
2-Output-Thermal-Component
1-2-Port-Thermal-Component ...
2-2-Port-Thermal-Component ...
Cooling-Component
Fuel-Consuming-Component
Heat-Exchanger
2-2-Closed-Feedwater-Heater
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
Heating-Component
Port
Positive-Displacement-Component
Reciprocating-Component
Internal-Combustion-Engine
Rotating-Component
Turbine
Extraction-Turbine
Simple-Turbine
Work-Consuming-Component
Compressor ...
Work-Producing-Component
Internal-Combustion-Engine
Turbine ...
Thermal-Cycle
Power-System-Eight-One
Power-System-With-Extraction-Turbines
Power-System-With-Reheat
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
*Dead-State* 1-1-Control-Volume 1-1-Control-Volume-Op-Mode 1-1-Port-Thermal-Component 1-2-Control-Volume 1-2-Port-Thermal-Component 1-Input-Control-Volume 1-Input-Thermal-Component 1-Output-Control-Volume 1-Output-Thermal-Component 2-1-Control-Volume 2-1-Open-Feedwater-Heater 2-1-Open-Feedwater-Heater-System 2-1-Port-Thermal-Component 2-2-Closed-Feedwater-Heater 2-2-Closed-Feedwater-Heater-System 2-2-Control-Volume 2-2-Open-Feedwater-Heater 2-2-Port-Thermal-Component 2-Input-Control-Volume 2-Input-Thermal-Component 2-Output-Control-Volume 2-Output-Thermal-Component 2-Port-Heat-Exchanger 2d-Stream 2d-Stream-Enthalpy-Rate 2d-Stream-Kinetic-Energy 2d-Stream-Mass-Flow-Rate 2d-Stream-Operating-Mode 2d-Stream-Potential-Energy 3-1-Control-Volume 3-1-Open-Feedwater-Heater 3-1-Open-Feedwater-Heater-System 3-1-Port-Thermal-Component 3-Input-Control-Volume 3-Input-Thermal-Component 4-Port-Heat-Exchanger Air Air-Operating-Mode Boiler Boiler-System Compressor Compressor-System Condensor-System Condensor-With-Heat-Transfer-System Control-Volume Control-Volume-Inlet-Stream-Ideal-Gas-Law Control-Volume-Inlet-Stream-Thermodynamic-State Control-Volume-Negligible-Ke-Change Control-Volume-Negligible-Pe-Change Control-Volume-Op-Mode Control-Volume-Outlet-Stream-Ideal-Gas-Law Control-Volume-Outlet-Stream-Thermodynamic-State Cooling-Component Cycle-Heat-Input Cycle-Work-Output Earth-Bound-Model Extraction-Turbine Extraction-Turbine-System Fuel Fuel-Consuming-Component Heat-Exchanger Heating-Component Internal-Combustion-Engine Internally-Reversible-Adiabatic-Process Non-Saturated-Water-Stream-Enthalpy Non-Steady-State-Flow-Process Nozzle Nozzle-System Open-Feedwater-Heater Port Positive-Displacement-Component Power-System-Eight-One Power-System-With-Extraction-Turbines Power-System-With-Reheat Pump Pump-Operating-Mode Pump-Power-Input-Per-Mass-Approximation Pump-System Reciprocating-Component Rotating-Component Saturated-Water-Stream-Enthalpy Saturated-Water-Stream-Entropy Saturated-Water-Stream-Specific-Volume Simple-Turbine Steady-Flow-Adiabatic-Compression Steady-Flow-Adiabatic-Expansion Steady-Flow-Adiabatic-Heat-Exchange Steady-Flow-Adiabatic-Mixing Steady-Flow-Adiabatic-Process Steady-Flow-Combustion-Process Steady-Flow-Compression Steady-Flow-Expansion Steady-Flow-Expansion-Or-Compression Steady-Flow-Heat-Transfer Steady-Flow-In-Diffuser Steady-Flow-In-Nozzle Steady-Flow-Isentropic-Process Steady-Flow-Isobaric-Heat-Transfer Steady-Flow-Isobaric-Process Steady-Flow-Isothermal-Process Steady-Flow-Throttling Steady-State-Steady-Flow-Process Steam-Generator-With-Reheat Steam-Generator-With-Reheat-System Stream Stream-Junction Substance Substance-Container System-With-Condensor Thermal-Component Thermal-Component-Op-Mode Thermal-Cycle Thermal-Cycle-Op-Mode Thermal-Process Thermal-Process-Op-Mode Thermal-System Turbine Turbine-System Water Water-Operating-Mode Work-Consuming-Component Work-Producing-Component
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: