(=>     (terrainInArea ?AREA ?ATTRIBUTE)     (exists (?REGION)         (and             (instance ?REGION GeographicArea)             (attribute ?REGION ?ATTRIBUTE)             (partlyLocated ?REGION ?AREA))))

Geography.kif 1722-1728

If a terrain attribute is a terrain in area of a geographic area, then there exists an object such that the object is an instance of geographic area and the terrain attribute is an attribute of the object and the object is partly located in the geographic area

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners