Class PUMP-SYSTEM

Slots on this class:

Documentation:
the system consisting of a pump, an associated control-volume, and an adiabatic compression process.
Subclass-Of: Entity, System-model
Arity: 1
Has-Attribute-Function:
Adbtc-cmpsn-prcs, Pmp, Pmp-cv, Water-in-pmp

Slots on instances of this class:

Adbtc-Cmpsn-Prcs:
Slot-Cardinality: 1
Slot-Documentation:
the adiabatic compression process
Slot-Value-Type: Steady-flow-adiabatic-compression
Pmp:
Slot-Cardinality: 1
Slot-Documentation:
the pump
Slot-Value-Type: Pump
Pmp-Cv:
Slot-Cardinality: 1
Slot-Documentation:
the control volume associated with the pump in the pump system
Slot-Value-Type: 1-1-control-volume
Water-In-Pmp:
Slot-Cardinality: 1
Slot-Documentation:
the water flowing through the pump
Slot-Value-Type: Water

Axioms:

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

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