Class POWER-SYSTEM-WITH-REHEAT

Slots on this class:

Documentation:
the system consisting of a steam-generator/reheater, first-stage and second-stage turbines, a condenser, and a pump
Subclass-Of: Entity, Thermal-cycle
Arity: 1
Has-Attribute-Function:
Cnd-sys, Cp-junction, Pmp-sgen-junction, Pmp-sys, Sgen-sys, Sgen-tbn1-junction, Sgen-tbn2-junction, Tbn-sys1, Tbn-sys2, Tbn1-sgen-junction, Tbn2-cnd-junction

Slots on instances of this class:

Cnd-Sys:
Slot-Cardinality: 1
Slot-Documentation:
the condensor subsystem of the power-system-with-reheat power cycle
Slot-Value-Type: Condensor-with-heat-transfer-system
Cp-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Pmp-Sgen-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Pmp-Sys:
Slot-Cardinality: 1
Slot-Documentation:
the pump subsystem of the power-system-with-reheat power cycle
Slot-Value-Type: Pump-system
Sgen-Sys:
Slot-Cardinality: 1
Slot-Documentation:
the steam generator with reheat subsystem of the power-system-with-reheat power cycle
Slot-Value-Type: Steam-generator-with-reheat-system
Sgen-Tbn1-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Sgen-Tbn2-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Tbn-Sys1:
Slot-Cardinality: 1
Slot-Documentation:
the first-stage turbine subsystem of the power-system-with-reheat power cycle
Slot-Value-Type: Turbine-system
Tbn-Sys2:
Slot-Cardinality: 1
Slot-Documentation:
the second-stage turbine subsystem of the power-system-with-reheat power cycle
Slot-Value-Type: Turbine-system
Tbn1-Sgen-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction
Tbn2-Cnd-Junction:
Slot-Cardinality: 1
Slot-Documentation:
a stream junction
Slot-Value-Type: Stream-junction

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time Power-System-With-Reheat ?Self)
             (And (Power-System-With-Reheat ?Self)
                  (Active ?Time Thermal-Cycle ?Self))))

(=> (Power-System-With-Reheat ?Self)
    (And (Connected-Terminals (Sgen-Tbn1-Junction ?Self)
                              (Outlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))
         (Connected-Terminals (Sgen-Tbn1-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))
         (Connected-Terminals (Tbn1-Sgen-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-Sys1 ?Self))))
         (Connected-Terminals (Tbn1-Sgen-Junction ?Self)
                              (Inlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))
         (Connected-Terminals (Sgen-Tbn2-Junction ?Self)
                              (Outlet-Stream2 (Sgen-Cv (Sgen-Sys ?Self))))
         (Connected-Terminals (Sgen-Tbn2-Junction ?Self)
                              (Inlet-Stream (Tbn-Cv (Tbn-Sys2 ?Self))))
         (Connected-Terminals (Tbn2-Cnd-Junction ?Self)
                              (Outlet-Stream (Tbn-Cv (Tbn-Sys2 ?Self))))
         (Connected-Terminals (Tbn2-Cnd-Junction ?Self)
                              (Inlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))
         (Connected-Terminals (Cp-Junction ?Self)
                              (Outlet-Stream (Cndsr-Cv (Cnd-Sys ?Self))))
         (Connected-Terminals (Cp-Junction ?Self)
                              (Inlet-Stream (Pmp-Cv (Pmp-Sys ?Self))))
         (Connected-Terminals (Pmp-Sgen-Junction ?Self)
                              (Outlet-Stream (Pmp-Cv (Pmp-Sys ?Self))))
         (Connected-Terminals (Pmp-Sgen-Junction ?Self)
                              (Inlet-Stream1 (Sgen-Cv (Sgen-Sys ?Self))))))