SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > Region > GeographicArea > Address
Next GeographicAreaLand    UpGeographicArea

Address
subjectfact 
Addressdocumentation A GeographicArea with definite boundaries and of relatively small size. This concept represents the state of 'being at an address'2001-11-30 13:33:33.0
is a kind of GeographicArea2001-11-30 13:33:33.0
Regionis second domain of partlyLocated2001-11-30 13:35:10.0
is second domain of path2001-11-30 13:35:10.0
SelfConnectedObjecthas axiom
(<=> 
(instance ?OBJ SelfConnectedObject)
(forall (?PART1 ?PART2)
(=>
(equal ?OBJ (MereologicalSumFn ?PART1 ?PART2))
(connected ?PART1 ?PART2))))
2001-11-30 13:35:14.0
has axiom
(=> 
(instance ?OBJ SelfConnectedObject)
(exists (?PART)
(part ?PART ?OBJ)))
2001-11-30 13:35:14.0
has axiom
(=> 
(instance ?HOLE Hole)
(exists (?OBJ)
(and
(hole ?HOLE ?OBJ)
(instance ?OBJ SelfConnectedObject))))
2001-11-30 13:35:14.0
has axiom
(=> 
(instance ?HOLE Hole)
(instance ?HOLE SelfConnectedObject))
2001-11-30 13:35:14.0
has axiom
(=> 
(surface ?OBJ1 ?OBJ2)
(and
(instance ?OBJ1 SelfConnectedObject)
(forall (?OBJ3)
(=>
(superficialPart ?OBJ3 ?OBJ2)
(part ?OBJ3 ?OBJ1)))))
2001-11-30 13:35:14.0
has axiom
(=>
(equal ?OBJ1 (PrincipalHostFn ?HOLE))
(forall (?OBJ2)
(<=>
(overlapsSpatially ?OBJ2 ?OBJ1)
(exists (?OBJ3)
(and
(hole ?HOLE ?OBJ3)
(instance ?OBJ3 SelfConnectedObject)
(overlapsSpatially ?OBJ2 ?OBJ3))))))
2001-11-30 13:35:14.0
is first domain of member2001-11-30 13:35:14.0
is first domain of part2001-11-30 13:35:14.0
Objectis disjoint from Process2001-11-30 13:34:50.0
is third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0

Next GeographicAreaLand    UpGeographicArea