SUMO   View all facts   Glossary   Help

Entity > Physical > Object > SelfConnectedObject > Region > GeographicArea

GeographicArea
subject			fact

GeographicArea	documentation 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
	is a kind of Region
Region	is second domain of partlyLocated
	is second domain of path
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 GeographicArea :

• Address (2 facts) - A GeographicArea with definite boundaries and of relatively small size. This concept represents the state of 'being at an address'
• Land (2 facts) - A Land is the GeographicArea associated with a nation. For example, the Land of Australia is the Region making up the continent of Oceania

Next Region: Hole    Up: Region