(=>
(and
(arableLandArea ?REGION ?FRACTION)
(greaterThanOrEqualTo ?FRACTION 0)
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?UNIT UnitOfArea)
(equal ?AMOUNT
(MeasureFn
(MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
(arableLandArea ?REGION ?AMOUNT)) 
Geography.kif 20402047 

(=>
(and
(arableLandArea ?REGION ?FRACTION)
(greaterThanOrEqualTo ?FRACTION 0)
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?UNIT UnitOfArea))
(exists (?ARABLE)
(and
(instance ?ARABLE ArableLand)
(geographicSubregion ?ARABLE ?REGION)
(measure ?ARABLE
(MeasureFn
(MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) 
Geography.kif 20492059 

(=>
(and
(comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2)
(instance ?UNIT UnitOfArea)
(measure ?REGION1
(MeasureFn ?NUM1 ?UNIT))
(measure ?REGION2
(MeasureFn ?NUM2 ?UNIT)))
(?RELATION
(MeasureFn ?NUM1 ?UNIT)
(MeasureFn
(MultiplicationFn ?FACTOR ?NUM2) ?UNIT))) 
Geography.kif 658668 

(=>
(and
(equal
(MeasureFn ?NUMBER ?UNIT) ?QUANT)
(instance ?UNIT UnitOfArea))
(instance ?QUANT AreaMeasure)) 
Merge.kif 60656069 

(=>
(and
(instance ?UNIT UnitOfArea)
(landAreaOnly ?AREA
(MeasureFn ?LAND ?UNIT))
(waterAreaOnly ?AREA
(MeasureFn ?WATER ?UNIT)))
(totalArea ?AREA
(MeasureFn
(AdditionFn ?LAND ?WATER) ?UNIT))) 
Geography.kif 562567 

(=>
(and
(irrigatedLandArea ?REGION
(MeasureFn ?AMOUNT ?UNIT))
(instance ?UNIT UnitOfArea))
(exists (?IRRLAND)
(and
(instance ?IRRLAND IrrigatedLand)
(geographicSubregion ?IRRLAND ?REGION)
(measure ?IRRLAND
(MeasureFn ?AMOUNT ?UNIT))))) 
Geography.kif 21882196 

(=>
(and
(irrigatedLandArea ?REGION
(MeasureFn ?AMOUNT ?UNIT))
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?UNIT UnitOfArea)
(equal ?FRACTION
(DivisionFn ?AMOUNT ?TOTAL)))
(irrigatedLandArea ?REGION ?FRACTION)) 
Geography.kif 21802186 

(=>
(and
(otherLandUseArea ?REGION ?FRACTION)
(greaterThanOrEqualTo ?FRACTION 0)
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?UNIT UnitOfArea)
(equal ?AMOUNT
(MeasureFn
(MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
(otherLandUseArea ?REGION ?AMOUNT)) 
Geography.kif 21302137 

(=>
(and
(otherLandUseArea ?REGION ?FRACTION)
(greaterThanOrEqualTo ?FRACTION 0)
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?UNIT UnitOfArea))
(exists (?OTHER)
(and
(instance ?OTHER LandArea)
(not
(instance ?OTHER ArableLand))
(not
(instance ?OTHER PermanentCropLand))
(geographicSubregion ?OTHER ?REGION)
(measure ?OTHER
(MeasureFn
(MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) 
Geography.kif 21392151 

(=>
(and
(permanentCropLandArea ?REGION ?FRACTION)
(greaterThanOrEqualTo ?FRACTION 0)
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?UNIT UnitOfArea)
(equal ?AMOUNT
(MeasureFn
(MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
(permanentCropLandArea ?REGION ?AMOUNT)) 
Geography.kif 20882095 

(=>
(and
(permanentCropLandArea ?REGION ?FRACTION)
(greaterThanOrEqualTo ?FRACTION 0)
(totalArea ?REGION
(MeasureFn ?TOTAL ?UNIT))
(instance ?UNIT UnitOfArea))
(exists (?PERMCROP)
(and
(instance ?PERMCROP PermanentCropLand)
(geographicSubregion ?PERMCROP ?REGION)
(measure ?PERMCROP
(MeasureFn
(MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) 
Geography.kif 20972107 
