(=>
(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
(arableLandArea ?REGION ?FRACTION)
(greaterThanOrEqualTo ?FRACTION 0)
(totalArea ?REGION ?TOTAL)
(instance ?TOTAL AreaMeasure)
(equal ?AMOUNT
(MultiplicationFn ?FRACTION ?TOTAL)))
(arableLandArea ?REGION ?AMOUNT)) 
Geography.kif 20312038 

(=>
(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
(irrigatedLandArea ?REGION ?AMOUNT)
(instance ?AMOUNT AreaMeasure)
(totalArea ?REGION ?TOTAL)
(instance ?TOTAL AreaMeasure)
(equal ?FRACTION
(DivisionFn ?AMOUNT ?TOTAL)))
(irrigatedLandArea ?REGION ?FRACTION)) 
Geography.kif 21712178 

(=>
(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
(otherLandUseArea ?REGION ?FRACTION)
(greaterThanOrEqualTo ?FRACTION 0)
(totalArea ?REGION ?TOTAL)
(instance ?TOTAL AreaMeasure)
(equal ?AMOUNT
(MultiplicationFn ?FRACTION ?TOTAL)))
(otherLandUseArea ?REGION ?AMOUNT)) 
Geography.kif 21212128 

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

(=>
(and
(permanentCropLandArea ?REGION ?FRACTION)
(greaterThanOrEqualTo ?FRACTION 0)
(totalArea ?REGION ?TOTAL)
(instance ?TOTAL AreaMeasure)
(equal ?AMOUNT
(MultiplicationFn ?FRACTION ?TOTAL)))
(permanentCropLandArea ?REGION ?AMOUNT)) 
Geography.kif 20792086 
