Class SUBSTANCE-CONTAINER

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

Slots on this class:

Documentation:

any component containing some substance such as water, air, etc.

Subclass-Of: Entity, Structural-element-model

Arity: 1

Axioms:

(Forall (?Self ?Time)
        (<=> (Active ?Time Substance-Container ?Self)
             (And (Substance-Container ?Self)
                  (Active ?Time Structural-Element-Model ?Self))))