totalArea |
appearance as argument number 1 |
![]() |
(documentation totalArea EnglishLanguage "(totalArea ?REGION ?AMOUNT) means that the total area of ?REGION is the AreaMeasure ?AMOUNT.") | Mid-level-ontology.kif 33142-33143 | |
(domain totalArea 1 Region) | Mid-level-ontology.kif 33139-33139 | totalArea の数値 1 引数は 地域 の instance では |
(domain totalArea 2 AreaMeasure) | Mid-level-ontology.kif 33140-33140 | totalArea の数値 2 引数は 面積測定 の instance では |
(instance totalArea BinaryPredicate) | Mid-level-ontology.kif 33138-33138 | totalArea は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage totalArea "%2 %n 是 %1 的 total 區域") | domainEnglishFormat.kif 2479-2479 | |
(format ChineseTraditionalLanguage totalArea "%2 %n 是 %1 的 total 區域") | domainEnglishFormat.kif 2478-2478 | |
(format EnglishLanguage totalArea "%2 is %n a total area of %1") | domainEnglishFormat.kif 2477-2477 | |
(termFormat ChineseLanguage totalArea "总面积") | domainEnglishFormat.kif 58534-58534 | |
(termFormat ChineseTraditionalLanguage totalArea "總面積") | domainEnglishFormat.kif 58533-58533 | |
(termFormat EnglishLanguage totalArea "total area") | domainEnglishFormat.kif 58532-58532 |
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 2238-2248 | |
(=> (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 2250-2264 | |
(=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (instance ?UNIT UnitOfArea) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION (MeasureFn ?FRACTION ?UNIT))) |
Geography.kif 2373-2383 | |
(=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION (MeasureFn ?FRACTION ?UNIT))) |
Geography.kif 2385-2395 | |
(=> (and (otherLandUseArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (otherLandUseArea ?REGION (MeasureFn ?AMOUNT ?UNIT))) |
Geography.kif 2323-2334 | |
(=> (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 2336-2354 |
|
(=> (and (permanentCropLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (permanentCropLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT))) |
Geography.kif 2283-2294 | |
(=> (and (permanentCropLandArea ?REGION (MeasureFn ?FRACTION ?UNIT)) (greaterThanOrEqualTo ?FRACTION 0.0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?PERMCROP) (and (instance ?PERMCROP PermanentCropLand) (geographicSubregion ?PERMCROP ?REGION) (measure ?PERMCROP (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))))) |
Geography.kif 2296-2310 |
consequent |
![]() |
appearance as argument number 0 |
![]() |
(totalArea MediterraneanSea (MeasureFn 2500000 SquareKilometer)) |
Geography.kif 5049-5049 | totalArea MediterraneanSea and 2500000 の SquareKilometer(s) |
(totalArea SaharaDesert (MeasureFn 3600000 SquareKilometer)) |
Geography.kif 6949-6949 | totalArea SaharaDesert and 3600000 の SquareKilometer(s) |
(totalArea Sahel (MeasureFn 3053200 SquareKilometer)) |
Geography.kif 6966-6966 | totalArea Sahel and 3053200 の SquareKilometer(s) |
(totalArea SouthernOcean (MeasureFn 20327000.0 SquareKilometer)) |
Geography.kif 4899-4900 | totalArea SouthernOcean and 20327000.0 の SquareKilometer(s) |
![]() |
![]() |