Class MATERIAL-REGION

Compare with generalized 'region' in theory: localization.

Subclass-Of: Region

The-Archetype: Type

Axioms:

(=> (Material-Region ?Self)
    (Exists (?A) (And (Is-Region-Of ?Self ?A) (Material-Object ?A))))

• Defined in theory: Top-level
• Source code: Top-Level.lisp