Class GEOGRAPHIC-AREA

A geographic location, generally having definite boundaries.

Subclass-Of: Region

Axioms:

(=> (Geographic-Area ?Self)
    (Exists (?A) (And (Conventional-Within ?Self ?A) (Geography ?A))))

• Defined in theory: Localization
• Source code: Localization.lisp