SUMO   View all facts   Glossary   Help

Entity > Physical > Object > SelfConnectedObject > Region > Hole

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

Next Region: GeographicArea    Up: Region