Relation
HOST-OF
Arity
:
2
Domain
:
Entity
Range
:
Region
Axioms:
(
=
(
Inverse
Hole-In
)
Host-Of
) (<=> (
Host-Of
?A ?B) (And (Entity ?A) (
Region
?B)))
Defined in theory:
Topo-morphology
Source code:
Topo-Morphology.lisp