Class COMPRESSOR-SYSTEM

Slots on this class:

Documentation:
the system consisting of a compressor, an associated control-volume, and a compression process.
Subclass-Of: Entity, System-model
Arity: 1
Has-Attribute-Function:
Air-in-cmpsr, Cmpsn-prcs, Cmpsr, Cmpsr-cv

Slots on instances of this class:

Air-In-Cmpsr:
Slot-Cardinality: 1
Slot-Documentation:
the air flowing through the compressor
Slot-Value-Type: Air
Cmpsn-Prcs:
Slot-Cardinality: 1
Slot-Documentation:
the compression process of the compressor system
Slot-Value-Type: Steady-flow-compression
Cmpsr:
Slot-Cardinality: 1
Slot-Documentation:
the compressor
Slot-Value-Type: Compressor
Cmpsr-Cv:
Slot-Cardinality: 1
Slot-Documentation:
the control volume associated with the compressor in the compressor system
Slot-Value-Type: 1-1-control-volume

Axioms:

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

(=> (Compressor-System ?Self)
    (And (Cv-Component (Cmpsr-Cv ?Self) (Cmpsr ?Self))
         (Component-Cv (Cmpsr ?Self) (Cmpsr-Cv ?Self))
         (Process-Cv (Cmpsn-Prcs ?Self) (Cmpsr-Cv ?Self))
         (Substance-In (Cmpsr-Cv ?Self) (Air-In-Cmpsr ?Self))))