Class 2-1-OPEN-FEEDWATER-HEATER-SYSTEM

Slots on this class:

Documentation:
the system consisting of an open feedwater heater, an associated control-volume, and an adiabatic mixing process.
Instance-Of: Class
Subclass-Of: Entity, System-model
Adbtc-Mxng-Prcs:
Slot-Documentation: the adiabatic mixing process
Arity: 1
Has-Attribute-Function: Adbtc-mxng-prcs, Opn-fwt-htr, Opn-fwt-htr-cv
Opn-Fwt-Htr:
Slot-Documentation:
the open feedwater heater of the 2-1-open feedwater heater system
Opn-Fwt-Htr-Cv:
Slot-Documentation:
the control volume associated with the open feedwater heater

Slots on instances of this class:

Adbtc-Mxng-Prcs:
Slot-Cardinality: 1
Slot-Documentation: the adiabatic mixing process
Slot-Value-Type: Steady-flow-adiabatic-mixing
Opn-Fwt-Htr:
Slot-Cardinality: 1
Slot-Documentation:
the open feedwater heater of the 2-1-open feedwater heater system
Slot-Value-Type: 2-1-open-feedwater-heater
Opn-Fwt-Htr-Cv:
Slot-Cardinality: 1
Slot-Documentation:
the control volume associated with the open feedwater heater
Slot-Value-Type: 2-1-control-volume

Axioms:

(Process-Cv (Adbtc-Mxng-Prcs ?Self) (Opn-Fwt-Htr-Cv ?Self))

(Component-Cv (Opn-Fwt-Htr ?Self) (Opn-Fwt-Htr-Cv ?Self))

(Cv-Component (Opn-Fwt-Htr-Cv ?Self) (Opn-Fwt-Htr ?Self))

(Forall (?Self ?Time)
        (<=> (Active ?Time 2-1-Open-Feedwater-Heater-System ?Self)
             (And (2-1-Open-Feedwater-Heater-System ?Self)
                  (Active ?Time System-Model ?Self))))

Other Related Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time 2-1-Open-Feedwater-Heater-System ?Self)
             (And (2-1-Open-Feedwater-Heater-System ?Self)
                  (Active ?Time System-Model ?Self))))

(Attribute-Function-Of Opn-Fwt-Htr 2-1-Open-Feedwater-Heater-System)

(Attribute-Function-Of Opn-Fwt-Htr-Cv
                       2-1-Open-Feedwater-Heater-System)

(Attribute-Function-Of Adbtc-Mxng-Prcs
                       2-1-Open-Feedwater-Heater-System)