Relation CYCLE-PROCESSES

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

Slots on this relation:

Documentation:

the set of all the processes that are part of the cycle

Instance-Of: Relation

Arity: 2

Domain: Thermal-cycle

Range: Thermal-process

Other Related Axioms:

(=> (Cycle-Processes $X $Y) (Thermal-Process $Y))

(=> (Cycle-Processes $X $Y) (Thermal-Cycle $X))