Class TURBINE-SYSTEM

Slots on this class:

Documentation:
the system consisting of a turbine, an associated control-volume, and a throttling process.
Instance-Of: Class
Subclass-Of: Entity, System-model
Arity: 1
Expsn-Prcs:
Slot-Documentation: the expansion process
Has-Attribute-Function:
Expsn-prcs, Tbn, Tbn-cv, Water-in-tbn
Range-Of: Tbn-sys1, Tbn-sys2, Tbn-system
Tbn:
Slot-Documentation: the turbine
Tbn-Cv:
Slot-Documentation:
the control volume associated with the turbine in the turbine-system
Water-In-Tbn:
Slot-Documentation:
the water flowing through the turbine

Slots on instances of this class:

Expsn-Prcs:
Slot-Cardinality: 1
Slot-Documentation: the expansion process
Slot-Value-Type: Steady-flow-adiabatic-expansion
Tbn:
Slot-Cardinality: 1
Slot-Documentation: the turbine
Slot-Value-Type: Simple-turbine
Tbn-Cv:
Slot-Cardinality: 1
Slot-Documentation:
the control volume associated with the turbine in the turbine-system
Slot-Value-Type: 1-1-control-volume
Water-In-Tbn:
Slot-Cardinality: 1
Slot-Documentation:
the water flowing through the turbine
Slot-Value-Type: Water

Axioms:

(Substance-In (Outlet-Stream (Tbn-Cv ?Self)) (Water-In-Tbn ?Self))

(Substance-In (Inlet-Stream (Tbn-Cv ?Self)) (Water-In-Tbn ?Self))

(Substance-In (Tbn-Cv ?Self) (Water-In-Tbn ?Self))

(Process-Cv (Expsn-Prcs ?Self) (Tbn-Cv ?Self))

(Component-Cv (Tbn ?Self) (Tbn-Cv ?Self))

(Cv-Component (Tbn-Cv ?Self) (Tbn ?Self))

(Forall (?Self ?Time)
        (<=> (Active ?Time Turbine-System ?Self)
             (And (Turbine-System ?Self)
                  (Active ?Time System-Model ?Self))))

Other Related Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time Turbine-System ?Self)
             (And (Turbine-System ?Self)
                  (Active ?Time System-Model ?Self))))

(Attribute-Function-Of Tbn Turbine-System)

(Attribute-Function-Of Tbn-Cv Turbine-System)

(Attribute-Function-Of Water-In-Tbn Turbine-System)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-Eight-One
                       Tbn-System
                       Turbine-System)

(=> (Power-System-Eight-One ?Self)
    (And (Value-Cardinality ?Self Blr-System 1)
         (Value-Type ?Self Blr-System Boiler-System)
         (Value-Cardinality ?Self Blr-System 1)
         (Value-Cardinality ?Self Tbn-System 1)
         (Value-Type ?Self Tbn-System Turbine-System)
         (Value-Cardinality ?Self Tbn-System 1)
         (Value-Cardinality ?Self Cdnsr-System 1)
         (Value-Type ?Self Cdnsr-System Condensor-System)
         (Value-Cardinality ?Self Cdnsr-System 1)
         (Value-Cardinality ?Self Pmp-System 1)
         (Value-Type ?Self Pmp-System Pump-System)
         (Value-Cardinality ?Self Pmp-System 1)
         (Value-Cardinality ?Self Cnd-Pmp-Junction 1)
         (Value-Type ?Self Cnd-Pmp-Junction Stream-Junction)
         (Value-Cardinality ?Self Cnd-Pmp-Junction 1)
         (Value-Cardinality ?Self Blr-Tbn-Junction 1)
         (Value-Type ?Self Blr-Tbn-Junction Stream-Junction)
         (Value-Cardinality ?Self Blr-Tbn-Junction 1)
         (Value-Cardinality ?Self Tbn-Cnd-Junction 1)
         (Value-Type ?Self Tbn-Cnd-Junction Stream-Junction)
         (Value-Cardinality ?Self Tbn-Cnd-Junction 1)
         (Value-Cardinality ?Self Pmp-Blr-Junction 1)
         (Value-Type ?Self Pmp-Blr-Junction Stream-Junction)
         (Value-Cardinality ?Self Pmp-Blr-Junction 1)
         (Value-Cardinality ?Self Working-Fluid-In-Cycle 1)
         (Value-Type ?Self Working-Fluid-In-Cycle Water)
         (Value-Cardinality ?Self Working-Fluid-In-Cycle 1)
         (Connected-Terminals (Blr-Tbn-Junction ?Self)
                              (Outlet-Stream (Blr-Cv (Blr-System ?Self))))
         (Connected-Terminals (Blr-Tbn-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-System ?Self))))
         (Connected-Terminals (Tbn-Cnd-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-System ?Self))))
         (Connected-Terminals (Tbn-Cnd-Junction ?Self)
                              (Inlet-Stream (Hf-Cv (Cdnsr-System ?Self))))
         (Connected-Terminals (Cnd-Pmp-Junction ?Self)
                              (Outlet-Stream (Hf-Cv (Cdnsr-System ?Self))))
         (Connected-Terminals (Cnd-Pmp-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-System ?Self))))
         (Connected-Terminals (Pmp-Blr-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-System ?Self))))
         (Connected-Terminals (Pmp-Blr-Junction ?Self)
                              (Inlet-Stream (Blr-Cv (Blr-System ?Self))))))

(=> (Tbn-System $X $Y) (Turbine-System $Y))

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Reheat
                       Tbn-Sys2
                       Turbine-System)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-With-Reheat
                       Tbn-Sys1
                       Turbine-System)

(=> (Power-System-With-Reheat ?Self)
    (And (Value-Cardinality ?Self Sgen-Sys 1)
         (Value-Type ?Self
                     Sgen-Sys
                     Steam-Generator-With-Reheat-System)
         (Value-Cardinality ?Self Sgen-Sys 1)
         (Value-Cardinality ?Self Tbn-Sys1 1)
         (Value-Type ?Self Tbn-Sys1 Turbine-System)
         (Value-Cardinality ?Self Tbn-Sys1 1)
         (Value-Cardinality ?Self Tbn-Sys2 1)
         (Value-Type ?Self Tbn-Sys2 Turbine-System)
         (Value-Cardinality ?Self Tbn-Sys2 1)
         (Value-Cardinality ?Self Cnd-Sys 1)
         (Value-Type ?Self
                     Cnd-Sys
                     Condensor-With-Heat-Transfer-System)
         (Value-Cardinality ?Self Cnd-Sys 1)
         (Value-Cardinality ?Self Pmp-Sys 1)
         (Value-Type ?Self Pmp-Sys Pump-System)
         (Value-Cardinality ?Self Pmp-Sys 1)
         (Value-Cardinality ?Self Sgen-Tbn1-Junction 1)
         (Value-Type ?Self Sgen-Tbn1-Junction Stream-Junction)
         (Value-Cardinality ?Self Sgen-Tbn1-Junction 1)
         (Value-Cardinality ?Self Tbn1-Sgen-Junction 1)
         (Value-Type ?Self Tbn1-Sgen-Junction Stream-Junction)
         (Value-Cardinality ?Self Tbn1-Sgen-Junction 1)
         (Value-Cardinality ?Self Sgen-Tbn2-Junction 1)
         (Value-Type ?Self Sgen-Tbn2-Junction Stream-Junction)
         (Value-Cardinality ?Self Sgen-Tbn2-Junction 1)
         (Value-Cardinality ?Self Tbn2-Cnd-Junction 1)
         (Value-Type ?Self Tbn2-Cnd-Junction Stream-Junction)
         (Value-Cardinality ?Self Tbn2-Cnd-Junction 1)
         (Value-Cardinality ?Self Cp-Junction 1)
         (Value-Type ?Self Cp-Junction Stream-Junction)
         (Value-Cardinality ?Self Cp-Junction 1)
         (Value-Cardinality ?Self Pmp-Sgen-Junction 1)
         (Value-Type ?Self Pmp-Sgen-Junction Stream-Junction)
         (Value-Cardinality ?Self Pmp-Sgen-Junction 1)
         (Connected-Terminals (Sgen-Tbn1-Junction ?Self)
                              (Outlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))
         (Connected-Terminals (Sgen-Tbn1-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))
         (Connected-Terminals (Tbn1-Sgen-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))
         (Connected-Terminals (Tbn1-Sgen-Junction ?Self)
                              (Inlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))
         (Connected-Terminals (Sgen-Tbn2-Junction ?Self)
                              (Outlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))
         (Connected-Terminals (Sgen-Tbn2-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-Sys2 ?Self))))
         (Connected-Terminals (Tbn2-Cnd-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-Sys2 ?Self))))
         (Connected-Terminals (Tbn2-Cnd-Junction ?Self)
                              (Inlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))
         (Connected-Terminals (Cp-Junction ?Self)
                              (Outlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))
         (Connected-Terminals (Cp-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-Sys ?Self))))
         (Connected-Terminals (Pmp-Sgen-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-Sys ?Self))))
         (Connected-Terminals (Pmp-Sgen-Junction ?Self)
                              (Inlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))))

(=> (Tbn-Sys1 $X $Y) (Turbine-System $Y))

(=> (Tbn-Sys2 $X $Y) (Turbine-System $Y))