SUMO   View all facts   Glossary   Help

Entity > Physical > Object > SelfConnectedObject > Region > GeographicArea > Land

Land
subject			fact

Land	documentation A Land is the GeographicArea associated with a nation. For example, the Land of Australia is the Region making up the continent of Oceania
	is a kind of GeographicArea
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

Next GeographicArea: Address    Up: GeographicArea