Class COMPRESSOR-SYSTEM

Slots on this class:

Documentation:
the system consisting of a compressor, an associated control-volume, and a compression process.
Instance-Of: Class
Subclass-Of: Entity, System-model
Air-In-Cmpsr:
Slot-Documentation:
the air flowing through the compressor
Arity: 1
Cmpsn-Prcs:
Slot-Documentation:
the compression process of the compressor system
Cmpsr:
Slot-Documentation: the compressor
Cmpsr-Cv:
Slot-Documentation:
the control volume associated with the compressor in the compressor system
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:

(Substance-In (Cmpsr-Cv ?Self) (Air-In-Cmpsr ?Self))

(Process-Cv (Cmpsn-Prcs ?Self) (Cmpsr-Cv ?Self))

(Component-Cv (Cmpsr ?Self) (Cmpsr-Cv ?Self))

(Cv-Component (Cmpsr-Cv ?Self) (Cmpsr ?Self))

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

Other Related Axioms:

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

(Attribute-Function-Of Cmpsr Compressor-System)

(Attribute-Function-Of Cmpsr-Cv Compressor-System)

(Attribute-Function-Of Cmpsn-Prcs Compressor-System)

(Attribute-Function-Of Air-In-Cmpsr Compressor-System)