Class STEAM-GENERATOR-WITH-REHEAT

• Defined in theory: Thermal-system
• Source code: thermal-system.ol

Slots on this class:

Documentation:

a steam generator (i.e. a boiler-superheater combination) which also reheats the steam exiting the first-stage turbine

Subclass-Of: 2-2-port-thermal-component, Entity

Arity: 1

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time Steam-Generator-With-Reheat ?Self)
             (And (Steam-Generator-With-Reheat ?Self)
                  (Active ?Time 2-2-Port-Thermal-Component ?Self))))