arableLandArea |
appearance as argument number 1 |
(documentation arableLandArea EnglishLanguage "(arableLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has ?AMOUNT of land under cultivation with crops that are replanted after each harvest. Cf. permanentCropLandArea.") | Geography.kif 2075-2078 | |
(domain arableLandArea 1 GeographicArea) | Geography.kif 2072-2072 | 域 耕地面積, 1 and GeographicArea |
(domain arableLandArea 2 ConstantQuantity) | Geography.kif 2073-2073 | 域 耕地面積, 2 and ConstantQuantity |
(instance arableLandArea BinaryPredicate) | Geography.kif 2071-2071 | 例 耕地面積 and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage arableLandArea "%2 %n 是 %1 的 arable 土地") | domainEnglishFormat.kif 192-192 | |
(format ChineseTraditionalLanguage arableLandArea "%2 %n 是 %1 的 arable 土地") | domainEnglishFormat.kif 191-191 | |
(format EnglishLanguage arableLandArea "%2 is %n an arable land area of %1") | domainEnglishFormat.kif 190-190 | |
(termFormat ChineseLanguage arableLandArea "耕地面积") | domainEnglishFormat.kif 8136-8136 | |
(termFormat ChineseTraditionalLanguage arableLandArea "耕地面積") | domainEnglishFormat.kif 8135-8135 | |
(termFormat EnglishLanguage arableLandArea "arable land area") | domainEnglishFormat.kif 8134-8134 |
antecedent |
consequent |
(=> (and (arableLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?TOTAL AreaMeasure) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (arableLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT))) |
Geography.kif 2080-2090 |
|