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 | arableLandArea の数値 1 引数は 地理的地域 の instance では %n |
(domain arableLandArea 2 ConstantQuantity) | Geography.kif 2073-2073 | arableLandArea の数値 2 引数は 一定量 の instance では %n |
(instance arableLandArea BinaryPredicate) | Geography.kif 2071-2071 | arableLandArea は 2進述語 の instance では %n |
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 |
(=> (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 | |
(=> (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 |
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 |