Class BOILER-SYSTEM

Slots on this class:

Documentation:
the system consisting of a boiler, an associated control-volume, and a ?? process.
Subclass-Of: Entity, System-model
Arity: 1
Has-Attribute-Function:
Blr, Blr-cv, Htfr-prcs, Water-in-blr

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:

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

(=> (Boiler-System ?Self)
    (And (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))))