Relation UNDERGOING

• Defined in theory: Thermal-system
• Source code: thermal-system.ol

Slots on this relation:

Documentation:

the process the control-volume is undergoing

Instance-Of: Relation

Arity: 2

Domain: Control-volume

Range: Steady-state-steady-flow-process

Other Related Axioms:

(=> (Undergoing $X $Y) (Steady-State-Steady-Flow-Process $Y))

(=> (Undergoing $X $Y) (Control-Volume $X))

(Forall (?Self)
        (<=> (Steady-Flow-Throttling ?Self)
             (And (Steady-Flow-Expansion ?Self)
                  (Steady-Flow-Adiabatic-Process ?Self)
                  (Process-Cv ?Self ?Cv)
                  (Undergoing Steady-Flow-Throttling ?Cv))))