( ! [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__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 2049-2059 |
|
| No TPTP formula. May not be expressible in strict first order. |
MilitaryPersons.kif 26-47 |
|
( ! [V__AREA,V__ELEV1] :
(s__instance(V__ELEV1,s__LengthMeasure) =>
(s__instance(V__AREA,s__GeographicArea) &
s__geographicSubregion(s__ElevationHighPointFn(V__AREA)
,V__AREA)
&
s__elevation(s__ElevationHighPointFn(V__AREA)
,V__ELEV1))
=>
~(( ? [V__OTHER, V__ELEV2] :
((s__instance(V__OTHER,s__GeographicArea) &
s__instance(V__ELEV2,s__LengthMeasure) &
(s__geographicSubregion(V__OTHER,V__AREA)
&
~((V__OTHER = s__ElevationHighPointFn(V__AREA)))
&
s__elevation(V__OTHER,V__ELEV2)
&
s__greaterThan(V__ELEV2,V__ELEV1))))))
)
)
|
Geography.kif 1914-1925 |
|
( ! [V__AREA,V__ELEV1] :
(s__instance(V__ELEV1,s__LengthMeasure) =>
(s__instance(V__AREA,s__GeographicArea) &
s__geographicSubregion(s__ElevationLowPointFn(V__AREA)
,V__AREA)
&
s__elevation(s__ElevationLowPointFn(V__AREA)
,V__ELEV1))
=>
~(( ? [V__OTHER, V__ELEV2] :
((s__instance(V__OTHER,s__GeographicArea) &
s__instance(V__ELEV2,s__LengthMeasure) &
(s__geographicSubregion(V__OTHER,V__AREA)
&
~((V__OTHER = s__ElevationLowPointFn(V__AREA)))
&
s__elevation(V__OTHER,V__ELEV2)
&
s__lessThan(V__ELEV2,V__ELEV1))))))
)
)
|
Geography.kif 1893-1904 |
|
( ! [V__DIRECTION,V__AREA] :
((s__instance(V__DIRECTION,s__DirectionalAttribute) &
s__instance(V__AREA,s__GeographicArea) &
s__instance(s__DirectionalSubregionFn(V__DIRECTION,V__AREA)
,s__GeographicArea))
=>
s__geographicSubregion(s__DirectionalSubregionFn(V__DIRECTION,V__AREA)
,V__AREA)
)
)
|
Geography.kif 493-498 |
|
| No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2496-2510 |
|
( ! [V__REGION] :
((s__instance(V__REGION,s__GeographicArea) &
s__instance(s__GeographicCenterFn(V__REGION)
,s__GeographicArea))
=>
s__geographicSubregion(s__GeographicCenterFn(V__REGION)
,V__REGION)
)
)
|
Geography.kif 342-346 |
|
( ! [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 2188-2196 |
|
( ! [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__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 2139-2151 |
|
( ! [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__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 2097-2107 |
|
( ! [V__AREA] :
(s__instance(V__AREA,s__Continent) =>
s__geographicSubregion(V__AREA,s__PlanetEarth) )
)
|
Geography.kif 3374-3376 |
|
( ! [V__AREA] :
(s__instance(V__AREA,s__Hemisphere) =>
s__geographicSubregion(V__AREA,s__PlanetEarth) )
)
|
Geography.kif 3327-3329 |
|
( ! [V__AREA] :
(s__instance(V__AREA,s__PostcodeArea) =>
( ? [V__GEO] :
((s__instance(V__GEO,s__GeographicArea) &
s__geographicSubregion(V__AREA,V__GEO))))
)
)
|
Mid-level-ontology.kif 22582-22585 |
|
( ! [V__PLACE] :
(s__instance(V__PLACE,s__Neighborhood) =>
( ? [V__AREA] :
((s__instance(V__AREA,s__GeographicArea) &
s__geographicSubregion(V__PLACE,V__AREA))))
)
)
|
Mid-level-ontology.kif 22470-22473 |
|
( ! [V__PORT] :
(s__instance(V__PORT,s__DeepDraftPort) =>
( ? [V__HARBOR] :
((s__instance(V__HARBOR,s__DeepDraftHarbor) &
s__geographicSubregion(V__HARBOR,V__PORT))))
)
)
|
Transportation.kif 877-882 |
|
( ! [V__STORM] :
(s__instance(V__STORM,s__TropicalCyclone) =>
( ? [V__PLACE] :
((s__instance(V__PLACE,s__GeographicArea) &
s__geographicSubregion(V__PLACE,s__Tropics) &
s__eventLocated(V__STORM,V__PLACE))))
)
)
|
Weather.kif 394-400 |
|
( ! [V__SYSTEM] :
(s__instance(V__SYSTEM,s__InlandWaterSystem) =>
( ? [V__BODY1, V__BODY2] :
((s__instance(V__BODY1,s__BodyOfWater) &
s__instance(V__BODY2,s__BodyOfWater) &
~((V__BODY1 = V__BODY2))
&
s__geographicSubregion(V__BODY1,V__SYSTEM)
&
s__geographicSubregion(V__BODY2,V__SYSTEM))))
)
)
|
Geography.kif 5026-5034 |
|
