Relation _HOST

Arity: 2

Subrelation-Of: Topo-morphological-property

Axioms:

(=> (_Host ?A ?B)
    (Exists (?Z ?W)
            (And (Material-Object ?Z)
                 (Region ?W)
                 (Hole-In ?W ?Z)
                 (Host-Of ?A ?W))))

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