Class STEADY-FLOW-EXPANSION

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

Slots on this class:

Documentation:

An expansion process involves decrease of pressure from inlet to outlet

Instance-Of: Class

Subclass-Of: Model-fragment, Steady-flow-expansion-or-compression

Arity: 1

Range-Of: Expsn-prcs

Superclass-Of: Steady-flow-adiabatic-expansion, Steady-flow-in-nozzle, Steady-flow-throttling

Axioms:

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

Other Related Axioms:

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

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

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

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

(Forall (?Self ?Time)
        (<=> (Active ?Time Steady-Flow-In-Nozzle ?Self)
             (And (Steady-Flow-In-Nozzle ?Self)
                  (Active ?Time Steady-Flow-Expansion ?Self)
                  (Active ?Time Steady-Flow-Adiabatic-Process ?Self))))

(Inherited-Facet-Value Slot-Value-Type
                       Extraction-Turbine-System
                       Expsn-Prcs
                       Steady-Flow-Expansion)

(=> (Extraction-Turbine-System ?Self)
    (And (Value-Cardinality ?Self Xtbn 1)
         (Value-Type ?Self Xtbn Simple-Turbine)
         (Value-Cardinality ?Self Xtbn 1)
         (Value-Cardinality ?Self Xtbn-Cv 1)
         (Value-Type ?Self Xtbn-Cv 1-2-Control-Volume)
         (Value-Cardinality ?Self Xtbn-Cv 1)
         (Value-Cardinality ?Self Expsn-Prcs 1)
         (Value-Type ?Self Expsn-Prcs Steady-Flow-Expansion)
         (Value-Cardinality ?Self Expsn-Prcs 1)
         (Cv-Component (Xtbn-Cv ?Self) (Xtbn ?Self))
         (Component-Cv (Xtbn ?Self) (Xtbn-Cv ?Self))
         (Process-Cv (Expsn-Prcs ?Self) (Xtbn-Cv ?Self))))

(=> (Expsn-Prcs $X $Y) (Steady-Flow-Expansion $Y))