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

(=>
(and
(irrigatedLandArea ?REGION ?AMOUNT)
(instance ?AMOUNT AreaMeasure)
(totalArea ?REGION ?TOTAL)
(instance ?TOTAL AreaMeasure)
(equal ?FRACTION
(DivisionFn ?AMOUNT ?TOTAL)))
(irrigatedLandArea ?REGION ?FRACTION)) 
Geography.kif 21592166 

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

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

(=>
(and
(subclass ?UNIT AreaMeasure)
(measure Alaska
(MeasureFn ?NUMBER1 ?UNIT))
(measure ?STATE
(MeasureFn ?NUMBER2 ?UNIT))
(instance ?STATE AmericanState)
(not
(equal Alaska ?STATE)))
(lessThan ?NUMBER2 ?NUMBER1)) 
CountriesAndRegions.kif 871878 
