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)))