Class BOILER-SYSTEM

Slots on this class:

Documentation:
the system consisting of a boiler, an associated control-volume, and a ?? process.
Instance-Of: Class
Subclass-Of: Entity, System-model
Arity: 1
Blr:
Slot-Documentation: the boiler
Blr-Cv:
Slot-Documentation:
the control volume associated with the boiler in the boiler-system
Has-Attribute-Function:
Blr, Blr-cv, Htfr-prcs, Water-in-blr
Htfr-Prcs:
Slot-Documentation:
the heat transfer process in the boiler
Range-Of: Blr-system
Water-In-Blr:
Slot-Documentation:
the water flowing through the boiler

Slots on instances of this class:

Blr:
Slot-Cardinality: 1
Slot-Documentation: the boiler
Slot-Value-Type: Boiler
Blr-Cv:
Slot-Cardinality: 1
Slot-Documentation:
the control volume associated with the boiler in the boiler-system
Slot-Value-Type: 1-1-control-volume
Htfr-Prcs:
Slot-Cardinality: 1
Slot-Documentation:
the heat transfer process in the boiler
Slot-Value-Type: Steady-flow-heat-transfer
Water-In-Blr:
Slot-Cardinality: 1
Slot-Documentation:
the water flowing through the boiler
Slot-Value-Type: Water

Axioms:

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

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

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

(Process-Cv (Htfr-Prcs ?Self) (Blr-Cv ?Self))

(Component-Cv (Blr ?Self) (Blr-Cv ?Self))

(Cv-Component (Blr-Cv ?Self) (Blr ?Self))

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

Other Related Axioms:

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

(Attribute-Function-Of Blr Boiler-System)

(Attribute-Function-Of Blr-Cv Boiler-System)

(Attribute-Function-Of Htfr-Prcs Boiler-System)

(Attribute-Function-Of Water-In-Blr Boiler-System)

(Inherited-Facet-Value Slot-Value-Type
                       Power-System-Eight-One
                       Blr-System
                       Boiler-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))))))

(=> (Blr-System $X $Y) (Boiler-System $Y))