( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
(((s__instance(V__REGION,s__GeographicArea) &
s__instance(V__AMOUNT,s__ConstantQuantity) &
s__instance(V__TOTAL,s__RealNumber) &
s__instance(V__FRACTION,s__Number) &
s__instance(V__FRACTION,s__ConstantQuantity))
=>
(((s__arableLandArea(V__REGION,V__FRACTION)
&
s__greaterThanOrEqualTo(V__FRACTION,n__0)
&
s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfArea) &
(V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))
=>
(s__arableLandArea(V__REGION,V__AMOUNT)))))
)
)

Geography.kif 20612068 

( ! [V__REGION,V__TOTAL,V__FRACTION,V__UNIT] :
(((s__instance(V__REGION,s__GeographicArea) &
s__instance(V__TOTAL,s__RealNumber) &
s__instance(V__FRACTION,s__Number) &
s__instance(V__FRACTION,s__ConstantQuantity))
=>
(((s__arableLandArea(V__REGION,V__FRACTION)
&
s__greaterThanOrEqualTo(V__FRACTION,n__0)
&
s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfArea))
=>
(( ? [V__ARABLE] :
((s__instance(V__ARABLE,s__ArableLand) &
s__geographicSubregion(V__ARABLE,V__REGION)
&
s__measure(V__ARABLE,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))))))))
)
)

Geography.kif 20702080 

No TPTP formula. May not be expressible in strict first order. 
Geography.kif 658668 

( ! [V__QUANT,V__NUMBER,V__UNIT] :
(((s__instance(V__QUANT,s__PhysicalQuantity) &
s__instance(V__NUMBER,s__RealNumber))
=>
((((s__MeasureFn(V__NUMBER,V__UNIT)
= V__QUANT)
&
s__instance(V__UNIT,s__UnitOfArea))
=>
(s__instance(V__QUANT,s__AreaMeasure)))))
)
)

Merge.kif 61096113 

( ! [V__LAND,V__WATER,V__AREA,V__UNIT] :
(((s__instance(V__LAND,s__RealNumber) &
s__instance(V__WATER,s__RealNumber) &
s__instance(V__AREA,s__GeographicArea))
=>
(((s__instance(V__UNIT,s__UnitOfArea) &
s__landAreaOnly(V__AREA,s__MeasureFn(V__LAND,V__UNIT))
&
s__waterAreaOnly(V__AREA,s__MeasureFn(V__WATER,V__UNIT)))
=>
(s__totalArea(V__AREA,s__MeasureFn(s__AdditionFn(V__LAND,V__WATER)
,V__UNIT))))))
)
)

Geography.kif 562567 

( ! [V__REGION,V__AMOUNT,V__UNIT] :
(((s__instance(V__REGION,s__GeographicArea) &
s__instance(V__AMOUNT,s__RealNumber))
=>
(((s__irrigatedLandArea(V__REGION,s__MeasureFn(V__AMOUNT,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfArea))
=>
(( ? [V__IRRLAND] :
((s__instance(V__IRRLAND,s__IrrigatedLand) &
s__geographicSubregion(V__IRRLAND,V__REGION)
&
s__measure(V__IRRLAND,s__MeasureFn(V__AMOUNT,V__UNIT)))))))))
)
)

Geography.kif 22092217 

( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
(((s__instance(V__REGION,s__GeographicArea) &
s__instance(V__AMOUNT,s__RealNumber) &
s__instance(V__TOTAL,s__RealNumber) &
s__instance(V__FRACTION,s__Number) &
s__instance(V__FRACTION,s__ConstantQuantity))
=>
(((s__irrigatedLandArea(V__REGION,s__MeasureFn(V__AMOUNT,V__UNIT))
&
s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfArea) &
(V__FRACTION = s__DivisionFn(V__AMOUNT,V__TOTAL)))
=>
(s__irrigatedLandArea(V__REGION,V__FRACTION)))))
)
)

Geography.kif 22012207 

( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
(((s__instance(V__REGION,s__GeographicArea) &
s__instance(V__AMOUNT,s__ConstantQuantity) &
s__instance(V__TOTAL,s__RealNumber) &
s__instance(V__FRACTION,s__Number) &
s__instance(V__FRACTION,s__ConstantQuantity))
=>
(((s__otherLandUseArea(V__REGION,V__FRACTION)
&
s__greaterThanOrEqualTo(V__FRACTION,n__0)
&
s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfArea) &
(V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))
=>
(s__otherLandUseArea(V__REGION,V__AMOUNT)))))
)
)

Geography.kif 21512158 

( ! [V__REGION,V__TOTAL,V__FRACTION,V__UNIT] :
(((s__instance(V__REGION,s__GeographicArea) &
s__instance(V__TOTAL,s__RealNumber) &
s__instance(V__FRACTION,s__Number) &
s__instance(V__FRACTION,s__ConstantQuantity))
=>
(((s__otherLandUseArea(V__REGION,V__FRACTION)
&
s__greaterThanOrEqualTo(V__FRACTION,n__0)
&
s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfArea))
=>
(( ? [V__OTHER] :
((s__instance(V__OTHER,s__LandArea) &
~(s__instance(V__OTHER,s__ArableLand))
&
~(s__instance(V__OTHER,s__PermanentCropLand))
&
s__geographicSubregion(V__OTHER,V__REGION)
&
s__measure(V__OTHER,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))))))))
)
)

Geography.kif 21602172 

( ! [V__REGION,V__AMOUNT,V__TOTAL,V__FRACTION,V__UNIT] :
(((s__instance(V__REGION,s__GeographicArea) &
s__instance(V__AMOUNT,s__ConstantQuantity) &
s__instance(V__TOTAL,s__RealNumber) &
s__instance(V__FRACTION,s__Number) &
s__instance(V__FRACTION,s__ConstantQuantity))
=>
(((s__permanentCropLandArea(V__REGION,V__FRACTION)
&
s__greaterThanOrEqualTo(V__FRACTION,n__0)
&
s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfArea) &
(V__AMOUNT = s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))
=>
(s__permanentCropLandArea(V__REGION,V__AMOUNT)))))
)
)

Geography.kif 21092116 

( ! [V__REGION,V__TOTAL,V__FRACTION,V__UNIT] :
(((s__instance(V__REGION,s__GeographicArea) &
s__instance(V__TOTAL,s__RealNumber) &
s__instance(V__FRACTION,s__Number) &
s__instance(V__FRACTION,s__ConstantQuantity))
=>
(((s__permanentCropLandArea(V__REGION,V__FRACTION)
&
s__greaterThanOrEqualTo(V__FRACTION,n__0)
&
s__totalArea(V__REGION,s__MeasureFn(V__TOTAL,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfArea))
=>
(( ? [V__PERMCROP] :
((s__instance(V__PERMCROP,s__PermanentCropLand) &
s__geographicSubregion(V__PERMCROP,V__REGION)
&
s__measure(V__PERMCROP,s__MeasureFn(s__MultiplicationFn(V__FRACTION,V__TOTAL)
,V__UNIT)))))))))
)
)

Geography.kif 21182128 
