SUMO   View all facts   Glossary   Help

Entity > Physical > Object > SelfConnectedObject > Region

Region
subject			fact

Region	documentation 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 itself
	is second domain of partlyLocated
	is second domain of path
	is a kind of SelfConnectedObject
SelfConnectedObject	has axiom (<=> (instance ?OBJ SelfConnectedObject) (forall (?PART1 ?PART2) (=> (equal ?OBJ (MereologicalSumFn ?PART1 ?PART2)) (connected ?PART1 ?PART2))))
	has axiom (=> (instance ?OBJ SelfConnectedObject) (exists (?PART) (part ?PART ?OBJ)))
	has axiom (=> (instance ?HOLE Hole) (exists (?OBJ) (and (hole ?HOLE ?OBJ) (instance ?OBJ SelfConnectedObject))))
	has axiom (=> (instance ?HOLE Hole) (instance ?HOLE SelfConnectedObject))
	has axiom (=> (surface ?OBJ1 ?OBJ2) (and (instance ?OBJ1 SelfConnectedObject) (forall (?OBJ3) (=> (superficialPart ?OBJ3 ?OBJ2) (part ?OBJ3 ?OBJ1)))))
	has axiom (=> (equal ?OBJ1 (PrincipalHostFn ?HOLE)) (forall (?OBJ2) (<=> (overlapsSpatially ?OBJ2 ?OBJ1) (exists (?OBJ3) (and (hole ?HOLE ?OBJ3) (instance ?OBJ3 SelfConnectedObject) (overlapsSpatially ?OBJ2 ?OBJ3))))))
	is first domain of member
	is first domain of part
Object	is disjoint from Process
	is third domain of between
	is third domain of capability
	is third domain of connects

Kinds of Region :

• GeographicArea (2 kinds, 6 facts) - 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
• Hole (16 facts) - 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

Next SelfConnectedObject: Substance    Up: SelfConnectedObject    Previous SelfConnectedObject: CorpuscularObject