Class *OPENING

Subclass-Of: Region

The-Archetype: Reified-property

Slots Of Instances:

_Opening:

Slot-Cardinality: 1

Axioms:

(<=> (*Opening ?Self)
     (And (Region ?Self) (Value-Cardinality ?Self _Opening 1)))

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