Class NOZZLE-SYSTEM

Slots on this class:

Documentation:
the system consisting of a nozzle, an associated control-volume, and a throttling process.
Subclass-Of: Entity, System-model
Arity: 1
Has-Attribute-Function: Nzl, Nzl-cv, Thrtlng-prcs

Slots on instances of this class:

Nzl:
Slot-Cardinality: 1
Slot-Documentation:
the nozzle
Slot-Value-Type: Nozzle
Nzl-Cv:
Slot-Cardinality: 1
Slot-Documentation:
the control volume associated with the nozzle in the nozzle-system
Slot-Value-Type: 1-1-control-volume
Thrtlng-Prcs:
Slot-Cardinality: 1
Slot-Documentation:
the throttling process
Slot-Value-Type: Steady-flow-throttling

Axioms:

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

(=> (Nozzle-System ?Self)
    (And (Cv-Component (Nzl-Cv ?Self) (Nzl ?Self))
         (Component-Cv (Nzl ?Self) (Nzl-Cv ?Self))
         (Process-Cv (Thrtlng-Prcs ?Self) (Nzl-Cv ?Self))))