Relation CONTAINED-IN

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

Slots on this relation:

Documentation:

the thing that can contain a substance such as stream and control volume

Instance-Of: Relation

Arity: 2

Domain: Substance

Range: Substance-container

Other Related Axioms:

(=> (Contained-In $X $Y) (Substance-Container $Y))

(=> (Contained-In $X $Y) (Substance $X))