Relation
3D-AREA
Arity
:
2
Domain
:
Entity
Range
:
Region
Subrelation-Of
:
Part
Axioms:
(
=
(
Inverse
Hole-In
)
3d-Area
) (<=> (
3d-Area
?A ?B) (And (
Part
?A ?B) (Entity ?A) (
Region
?B)))
Defined in theory:
Topo-morphology
Source code:
Topo-Morphology.lisp