Class ADDRESS

A topographic location, generally having definite boundaries and with a finer detail than a geographic area. This concept is enough to represent the state of 'being at an address'. The relation for 'having an address' is a more complex issue, since having an address does not imply being at that address all the time (or a default amount of time). Instead having an address implies a social and legal responsibility for being retrievable, receiving mail, being contacted, having own estates localized, etc.
Subclass-Of: Region
Axioms:
(=> (Address ?Self)
    (Exists (?A)
            (And (Conventional-Within ?Self ?A) (Topography ?A))))