SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > Region > Hole
Next RegionGeographicArea    UpRegion

Hole comparison table
Subject have relatedInternalConcept documentation is a kind of be first domain of be second domain of have axiom
Region A topographic location. Regions encompass surfaces of Objects and GeographicAreas. Note that a Region is the only kind of Object which can be located at itselfSelfConnectedObjectpartpath
(=>
(equal ?OBJ1 (PrincipalHostFn ?HOLE))
(forall (?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists (?OBJ3)
(and
(hole ?HOLE ?OBJ3)
(instance ?OBJ3 SelfConnectedObject)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
HoleholeA hole is an immaterial body located at the surface of an Object. Since every Hole is ontologically dependent on its host (i.e., the object in which it is a hole), being a Hole is defined as being a hole in something. Note that two Holes may occupy the same region, or part of the same region, without sharing any partsRegionSkinFnproperlyFills
(=> 
(instance ?HOLE1 Hole)
(exists (?HOLE2)
(properPart ?HOLE2 ?HOLE1)))

Next RegionGeographicArea    UpRegion