(=>
(and
(instance ?AREA GeographicArea)
(geographicSubregion
(ElevationLowPointFn ?AREA) ?AREA)
(instance ?U UnitOfLength)
(elevation
(ElevationLowPointFn ?AREA)
(MeasureFn ?ELEV1 ?U)))
(not
(exists (?OTHER ?ELEV2)
(and
(geographicSubregion ?OTHER ?AREA)
(not
(equal ?OTHER
(ElevationLowPointFn ?AREA)))
(elevation ?OTHER
(MeasureFn ?ELEV2 ?U))
(lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 3391-3405 |
If X is an instance of geographic area, the elevation low point of X is a geographic subregion of X, Y is an instance of unit of length, and Z Y(s) is an elevation of the elevation low point of X, then there don't exist W and V such that W is a geographic subregion of X and equal W and the elevation low point of X and V Y(s) is an elevation of W and V is less than Z |
