Region Comparison Table

Entity > Physical > Object > SelfConnectedObject > Region

Next SelfConnectedObject: Substance Up: SelfConnectedObject Previous SelfConnectedObject: CorpuscularObject

Region comparison table

Subject have relatedInternalConcept documentation be first domain of be second domain of have axiom

GeographicArea A geographic location, generally having definite boundaries. Note that this differs from its immediate superclass Region in that a GeographicArea is a Region of land of significant size part path
(=>
(equal ?OBJ1 (PrincipalHostFn ?HOLE))
(forall (?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists (?OBJ3)
(and
(hole ?HOLE ?OBJ3)
(instance ?OBJ3 SelfConnectedObject)
(overlapsSpatially ?OBJ2 ?OBJ3))))))

Hole hole 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 SkinFn properlyFills
(=>
(instance ?HOLE1 Hole)
(exists (?HOLE2)
(properPart ?HOLE2 ?HOLE1)))

Subject	have relatedInternalConcept	documentation	be first domain of	be second domain of	have axiom
GeographicArea		A geographic location, generally having definite boundaries. Note that this differs from its immediate superclass Region in that a GeographicArea is a Region of land of significant size	part	path	(=> (equal ?OBJ1 (PrincipalHostFn ?HOLE)) (forall (?OBJ2) (<=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (hole ?HOLE ?OBJ3) (instance ?OBJ3 SelfConnectedObject) (overlapsSpatially ?OBJ2 ?OBJ3))))))
Hole	hole	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	SkinFn	properlyFills	(=> (instance ?HOLE1 Hole) (exists (?HOLE2) (properPart ?HOLE2 ?HOLE1)))

Next SelfConnectedObject: Substance Up: SelfConnectedObject Previous SelfConnectedObject: CorpuscularObject