SUMO   View all facts   Glossary   Help

Entity > Physical > Object > SelfConnectedObject > Region > GeographicArea > Address

Address
subject			fact

Address	documentation A GeographicArea with definite boundaries and of relatively small size. This concept represents the state of 'being at an address'
	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: Land    Up: GeographicArea