(=>
(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 20282035 

(=>
(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 20372047 

(=>
(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 655661 

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

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

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

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

(=>
(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 21182125 

(=>
(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 21272139 

(=>
(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 20762083 

(=>
(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 20852095 
