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.

Instance-Of: Class

Subclass-Of: Entity, Structural-element-model

Arity: 1

Domain-Of: Substance-in

Range-Of: Contained-in

Superclass-Of: Control-volume, Stream

Axioms:

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

Other Related Axioms:

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

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

(Forall (?Self ?Time)
        (<=> (Active ?Time Stream ?Self)
             (And (Stream ?Self)
                  (Active ?Time Substance-Container ?Self))))

(Forall (?Self ?Time)
        (<=> (Active ?Time Control-Volume ?Self)
             (And (Control-Volume ?Self)
                  (Active ?Time Substance-Container ?Self))))

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