Class STEADY-FLOW-EXPANSION-OR-COMPRESSION

Slots on this class:

Documentation:
the class of steady flow processes including expansion and compression
Subclass-Of: Model-fragment, Steady-state-steady-flow-process
Arity: 1
Has-Quantity-Function: Ideal-isentropic-enthalpy, Isentropic-efficiency

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:

(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))))

(=> (Steady-Flow-Expansion-Or-Compression ?Self)
    (And (Quantity.Dimension (Isentropic-Efficiency ?Self)
                             Dimensionless)
         (Quantity.Dimension (Ideal-Isentropic-Enthalpy ?Self)
                             Energy-Dimension)))