ArableLand
|
|
appearance as argument number 1 |
(documentation ArableLand EnglishLanguage "ArableLand is the subclass of LandArea that represents land in cultivation with crops that are replanted after each harvest, e.g., wheat and rice.") | Geography.kif 2067-2069 | |
(subclass ArableLand LandArea) | Geography.kif 2065-2065 |
appearance as argument number 2 |
(termFormat ChineseLanguage ArableLand "耕地") | domainEnglishFormat.kif 8130-8130 | |
(termFormat ChineseTraditionalLanguage ArableLand "耕地") | domainEnglishFormat.kif 8129-8129 | |
(termFormat EnglishLanguage ArableLand "arable land") | domainEnglishFormat.kif 8128-8128 |
consequent |
(=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.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 2092-2106 | |
(=> (and (instance ?DESERTIFICATION Desertification) (eventLocated ?DESERTIFICATION ?AREA)) (exists (?A1 ?A2) (and (instance ?A1 ArableLand) (instance ?A2 Desert) (holdsDuring (BeginFn (WhenFn ?DESERTIFICATION)) (overlapsSpatially ?AREA ?A1)) (holdsDuring (EndFn (WhenFn ?DESERTIFICATION)) (overlapsSpatially ?AREA ?A2))))) |
Weather.kif 2475-2488 | |
(=> (and (otherLandUseArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.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 2178-2196 |