Class *CAVITY

Subclass-Of: Region

The-Archetype: Reified-property

Slots Of Instances:

_Cavity:

Slot-Cardinality: 1

Axioms:

(<=> (*Cavity ?Self)
     (And (Region ?Self) (Value-Cardinality ?Self _Cavity 1)))

• Defined in theory: Topo-morphology
• Source code: Topo-Morphology.lisp