Relation _HOLE

Arity: 2

Domain: Region

Subrelation-Of: Topo-morphological-property

Axioms:

(=> (_Hole ?A ?B)
    (Exists (?Z) (And (Material-Object ?Z) (Hole-In ?A ?Z))))

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