 SUMO   View all facts   Glossary   Help Entity > Physical > Object > SelfConnectedObject > Region > Hole
Next RegionGeographicArea    UpRegion  Hole subject fact
 Hole documentation A 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 parts has axiom `(<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2))))` has axiom `(<=> (instance ?HOLE Hole) (exists (?OBJ) (hole ?HOLE ?OBJ)))` has axiom `(=> (and (instance ?HOLE1 Hole) (properPart ?HOLE2 ?HOLE1)) (exists (?OBJ) (and (meetsSpatially ?HOLE1 ?OBJ) (not (meetsSpatially ?HOLE2 ?OBJ)))))` has axiom `(=> (hole ?HOLE ?OBJ) (not (instance ?OBJ Hole)))` has axiom `(=> (instance ?HOLE Hole) (exists (?OBJ) (and (hole ?HOLE ?OBJ) (instance ?OBJ SelfConnectedObject))))` has axiom `(=> (instance ?HOLE Hole) (instance ?HOLE SelfConnectedObject))` has axiom `(=> (instance ?HOLE1 Hole) (exists (?HOLE2) (properPart ?HOLE2 ?HOLE1)))` has relatedInternalConcept hole is first domain of hole is first domain of PrincipalHostFn is first domain of SkinFn is second domain of fills is second domain of partiallyFills is second domain of properlyFills is a kind of Region Object is disjoint from Process is third domain of between is third domain of capability is third domain of connects 