Class STEADY-FLOW-EXPANSION-OR-COMPRESSION

Slots on this class:

Documentation:
the class of steady flow processes including expansion and compression
Instance-Of: Class
Subclass-Of: Model-fragment, Steady-state-steady-flow-process
Arity: 1
Has-Quantity-Function: Ideal-isentropic-enthalpy, Isentropic-efficiency
Ideal-Isentropic-Enthalpy:
Slot-Documentation:
the enthalpy of the ideal gas undergoing the process if the process is an isentropic process
Isentropic-Efficiency:
Slot-Documentation:
the measure of comparison between the actual performance of a device and the performance that would be achieved under idealized circumstances for the same inlet state and the same exit pressure
Superclass-Of: Steady-flow-expansion

Slots on instances of this class:

Ideal-Isentropic-Enthalpy:
Slot-Cardinality: 1
Slot-Documentation:
the enthalpy of the ideal gas undergoing the process if the process is an isentropic process
Isentropic-Efficiency:
Slot-Cardinality: 1
Slot-Documentation:
the measure of comparison between the actual performance of a device and the performance that would be achieved under idealized circumstances for the same inlet state and the same exit pressure

Axioms:

(Quantity.Dimension (Ideal-Isentropic-Enthalpy ?Self)
                    Energy-Dimension)

(Quantity.Dimension (Isentropic-Efficiency ?Self) Dimensionless)

(Forall (?Self ?Time)
        (<=> (Active ?Time
                     Steady-Flow-Expansion-Or-Compression
                     ?Self)
             (And (Steady-Flow-Expansion-Or-Compression ?Self)
                  (Active ?Time
                          Steady-State-Steady-Flow-Process
                          ?Self))))

Other Related Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time
                     Steady-Flow-Expansion-Or-Compression
                     ?Self)
             (And (Steady-Flow-Expansion-Or-Compression ?Self)
                  (Active ?Time
                          Steady-State-Steady-Flow-Process
                          ?Self))))

(Quantity-Function-Of Isentropic-Efficiency
                      Steady-Flow-Expansion-Or-Compression)

(Quantity-Function-Of Ideal-Isentropic-Enthalpy
                      Steady-Flow-Expansion-Or-Compression)

(Forall (?Self ?Time)
        (<=> (Active ?Time Steady-Flow-Expansion ?Self)
             (And (Steady-Flow-Expansion ?Self)
                  (Active ?Time
                          Steady-Flow-Expansion-Or-Compression
                          ?Self))))