Class 1-1-CONTROL-VOLUME

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

Slots on this class:

Documentation:

the one-input, one-output control volume

Instance-Of: Class

Subclass-Of: 1-input-control-volume, 1-output-control-volume, Entity

Arity: 1

Range-Of:

1-1-cv-involved, Blr-cv, Cf-cv, Cmpsr-cv, Cndsr-cv, Hf-cv, Nzl-cv, Pmp-cv, Tbn-cv

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time 1-1-Control-Volume ?Self)
             (And (1-1-Control-Volume ?Self)
                  (Active ?Time 1-Input-Control-Volume ?Self)
                  (Active ?Time 1-Output-Control-Volume ?Self))))

Other Related Axioms:

(Inherited-Facet-Value Slot-Value-Type
                       1-1-Control-Volume-Op-Mode
                       1-1-Cv-Involved
                       1-1-Control-Volume)

(Forall (?1-1-Cv-Involved)
        (<=> (1-1-Control-Volume ?1-1-Cv-Involved)
             (Exists (?Self)
                     (And (1-1-Control-Volume-Op-Mode ?Self)
                          (= (1-1-Cv-Involved ?Self)
                             ?1-1-Cv-Involved)))))

(=> (1-1-Control-Volume-Op-Mode ?Self)
    (And (Value-Cardinality ?Self 1-1-Cv-Involved 1)
         (Value-Type ?Self 1-1-Cv-Involved 1-1-Control-Volume)
         (Value-Cardinality ?Self 1-1-Cv-Involved 1)))

(=> (1-1-Cv-Involved $X $Y) (1-1-Control-Volume $Y))

(Forall (?Self ?Time)
        (<=> (Active ?Time 1-1-Control-Volume ?Self)
             (And (1-1-Control-Volume ?Self)
                  (Active ?Time 1-Input-Control-Volume ?Self)
                  (Active ?Time 1-Output-Control-Volume ?Self))))

(Inherited-Facet-Value Slot-Value-Type
                       Compressor-System
                       Cmpsr-Cv
                       1-1-Control-Volume)

(=> (Compressor-System ?Self)
    (And (Value-Cardinality ?Self Cmpsr 1)
         (Value-Type ?Self Cmpsr Compressor)
         (Value-Cardinality ?Self Cmpsr 1)
         (Value-Cardinality ?Self Cmpsr-Cv 1)
         (Value-Type ?Self Cmpsr-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Cmpsr-Cv 1)
         (Value-Cardinality ?Self Cmpsn-Prcs 1)
         (Value-Type ?Self Cmpsn-Prcs Steady-Flow-Compression)
         (Value-Cardinality ?Self Cmpsn-Prcs 1)
         (Value-Cardinality ?Self Air-In-Cmpsr 1)
         (Value-Type ?Self Air-In-Cmpsr Air)
         (Value-Cardinality ?Self Air-In-Cmpsr 1)
         (Cv-Component (Cmpsr-Cv ?Self) (Cmpsr ?Self))
         (Component-Cv (Cmpsr ?Self) (Cmpsr-Cv ?Self))
         (Process-Cv (Cmpsn-Prcs ?Self) (Cmpsr-Cv ?Self))
         (Substance-In (Cmpsr-Cv ?Self) (Air-In-Cmpsr ?Self))))

(=> (Cmpsr-Cv $X $Y) (1-1-Control-Volume $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Pump-System
                       Pmp-Cv
                       1-1-Control-Volume)

(=> (Pump-System ?Self)
    (And (Value-Cardinality ?Self Pmp 1)
         (Value-Type ?Self Pmp Pump)
         (Value-Cardinality ?Self Pmp 1)
         (Value-Cardinality ?Self Pmp-Cv 1)
         (Value-Type ?Self Pmp-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Pmp-Cv 1)
         (Value-Cardinality ?Self Adbtc-Cmpsn-Prcs 1)
         (Value-Type ?Self
                     Adbtc-Cmpsn-Prcs
                     Steady-Flow-Adiabatic-Compression)
         (Value-Cardinality ?Self Adbtc-Cmpsn-Prcs 1)
         (Value-Cardinality ?Self Water-In-Pmp 1)
         (Value-Type ?Self Water-In-Pmp Water)
         (Value-Cardinality ?Self Water-In-Pmp 1)
         (Cv-Component (Pmp-Cv ?Self) (Pmp ?Self))
         (Component-Cv (Pmp ?Self) (Pmp-Cv ?Self))
         (Process-Cv (Adbtc-Cmpsn-Prcs ?Self) (Pmp-Cv ?Self))
         (Substance-In (Pmp-Cv ?Self) (Water-In-Pmp ?Self))
         (Substance-In (Inlet-Stream (Pmp-Cv ?Self))
                       (Water-In-Pmp ?Self))
         (Substance-In (Outlet-Stream (Pmp-Cv ?Self))
                       (Water-In-Pmp ?Self))))

(=> (Pmp-Cv $X $Y) (1-1-Control-Volume $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Condensor-System
                       Hf-Cv
                       1-1-Control-Volume)

(Inherited-Facet-Value Slot-Value-Type
                       Condensor-System
                       Cf-Cv
                       1-1-Control-Volume)

(=> (Condensor-System ?Self)
    (And (Value-Cardinality ?Self Cnd-Cv 1)
         (Value-Type ?Self Cnd-Cv Control-Volume)
         (Value-Cardinality ?Self Cnd-Cv 1)
         (Value-Cardinality ?Self Adbtc-Hxg-Prcs 1)
         (Value-Type ?Self
                     Adbtc-Hxg-Prcs
                     Steady-Flow-Adiabatic-Heat-Exchange)
         (Value-Cardinality ?Self Adbtc-Hxg-Prcs 1)
         (Value-Cardinality ?Self Cf-Cv 1)
         (Value-Type ?Self Cf-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Cf-Cv 1)
         (Value-Cardinality ?Self Hf-Cv 1)
         (Value-Type ?Self Hf-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Hf-Cv 1)
         (Value-Cardinality ?Self Water-In-Cnd 1)
         (Value-Type ?Self Water-In-Cnd Water)
         (Value-Cardinality ?Self Water-In-Cnd 1)
         (Value-Cardinality ?Self Condensor-Heat-Out-Rate 1)
         (Quantity.Dimension (Condensor-Heat-Out-Rate ?Self)
                             Power-Dimension)
         (Cv-Component (Cnd-Cv ?Self) (Cnd ?Self))
         (Component-Cv (Cnd ?Self) (Cnd-Cv ?Self))
         (Process-Cv (Adbtc-Hxg-Prcs ?Self) (Cnd-Cv ?Self))
         (Cv-Component (Cf-Cv ?Self) (Cold-Flow (Cnd ?Self)))
         (Component-Cv (Cold-Flow (Cnd ?Self)) (Cf-Cv ?Self))
         (Cv-Component (Hf-Cv ?Self) (Hot-Flow (Cnd ?Self)))
         (Component-Cv (Hot-Flow (Cnd ?Self)) (Hf-Cv ?Self))
         (Substance-In (Cnd-Cv ?Self) (Water-In-Cnd ?Self))
         (Substance-In (Hf-Cv ?Self) (Water-In-Cnd ?Self))
         (Substance-In (Inlet-Stream (Hf-Cv ?Self))
                       (Water-In-Cnd ?Self))
         (Substance-In (Outlet-Stream (Hf-Cv ?Self))
                       (Water-In-Cnd ?Self))
         (Substance-In (Cf-Cv ?Self) (Water-In-Cnd ?Self))
         (Substance-In (Inlet-Stream (Cf-Cv ?Self))
                       (Water-In-Cnd ?Self))
         (Substance-In (Outlet-Stream (Cf-Cv ?Self))
                       (Water-In-Cnd ?Self))))

(=> (Cf-Cv $X $Y) (1-1-Control-Volume $Y))

(=> (Hf-Cv $X $Y) (1-1-Control-Volume $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Condensor-With-Heat-Transfer-System
                       Cndsr-Cv
                       1-1-Control-Volume)

(=> (Condensor-With-Heat-Transfer-System ?Self)
    (And (Value-Cardinality ?Self Cndsr-Cv 1)
         (Value-Type ?Self Cndsr-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Cndsr-Cv 1)
         (Value-Cardinality ?Self Cnd-Tfr-Prcs 1)
         (Value-Type ?Self Cnd-Tfr-Prcs Steady-Flow-Heat-Transfer)
         (Value-Cardinality ?Self Cnd-Tfr-Prcs 1)))

(=> (Cndsr-Cv $X $Y) (1-1-Control-Volume $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Nozzle-System
                       Nzl-Cv
                       1-1-Control-Volume)

(=> (Nozzle-System ?Self)
    (And (Value-Cardinality ?Self Nzl 1)
         (Value-Type ?Self Nzl Nozzle)
         (Value-Cardinality ?Self Nzl 1)
         (Value-Cardinality ?Self Nzl-Cv 1)
         (Value-Type ?Self Nzl-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Nzl-Cv 1)
         (Value-Cardinality ?Self Thrtlng-Prcs 1)
         (Value-Type ?Self Thrtlng-Prcs Steady-Flow-Throttling)
         (Value-Cardinality ?Self Thrtlng-Prcs 1)
         (Cv-Component (Nzl-Cv ?Self) (Nzl ?Self))
         (Component-Cv (Nzl ?Self) (Nzl-Cv ?Self))
         (Process-Cv (Thrtlng-Prcs ?Self) (Nzl-Cv ?Self))))

(=> (Nzl-Cv $X $Y) (1-1-Control-Volume $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Turbine-System
                       Tbn-Cv
                       1-1-Control-Volume)

(=> (Turbine-System ?Self)
    (And (Value-Cardinality ?Self Tbn 1)
         (Value-Type ?Self Tbn Simple-Turbine)
         (Value-Cardinality ?Self Tbn 1)
         (Value-Cardinality ?Self Tbn-Cv 1)
         (Value-Type ?Self Tbn-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Tbn-Cv 1)
         (Value-Cardinality ?Self Expsn-Prcs 1)
         (Value-Type ?Self
                     Expsn-Prcs
                     Steady-Flow-Adiabatic-Expansion)
         (Value-Cardinality ?Self Expsn-Prcs 1)
         (Value-Cardinality ?Self Water-In-Tbn 1)
         (Value-Type ?Self Water-In-Tbn Water)
         (Value-Cardinality ?Self Water-In-Tbn 1)
         (Cv-Component (Tbn-Cv ?Self) (Tbn ?Self))
         (Component-Cv (Tbn ?Self) (Tbn-Cv ?Self))
         (Process-Cv (Expsn-Prcs ?Self) (Tbn-Cv ?Self))
         (Substance-In (Tbn-Cv ?Self) (Water-In-Tbn ?Self))
         (Substance-In (Inlet-Stream (Tbn-Cv ?Self))
                       (Water-In-Tbn ?Self))
         (Substance-In (Outlet-Stream (Tbn-Cv ?Self))
                       (Water-In-Tbn ?Self))))

(=> (Tbn-Cv $X $Y) (1-1-Control-Volume $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Boiler-System
                       Blr-Cv
                       1-1-Control-Volume)

(=> (Boiler-System ?Self)
    (And (Value-Cardinality ?Self Blr 1)
         (Value-Type ?Self Blr Boiler)
         (Value-Cardinality ?Self Blr 1)
         (Value-Cardinality ?Self Blr-Cv 1)
         (Value-Type ?Self Blr-Cv 1-1-Control-Volume)
         (Value-Cardinality ?Self Blr-Cv 1)
         (Value-Cardinality ?Self Htfr-Prcs 1)
         (Value-Type ?Self Htfr-Prcs Steady-Flow-Heat-Transfer)
         (Value-Cardinality ?Self Htfr-Prcs 1)
         (Value-Cardinality ?Self Water-In-Blr 1)
         (Value-Type ?Self Water-In-Blr Water)
         (Value-Cardinality ?Self Water-In-Blr 1)
         (Cv-Component (Blr-Cv ?Self) (Blr ?Self))
         (Component-Cv (Blr ?Self) (Blr-Cv ?Self))
         (Process-Cv (Htfr-Prcs ?Self) (Blr-Cv ?Self))
         (Substance-In (Blr-Cv ?Self) (Water-In-Blr ?Self))
         (Substance-In (Inlet-Stream (Blr-Cv ?Self))
                       (Water-In-Blr ?Self))
         (Substance-In (Outlet-Stream (Blr-Cv ?Self))
                       (Water-In-Blr ?Self))))

(=> (Blr-Cv $X $Y) (1-1-Control-Volume $Y))