| 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. ?AMOUNT may be expressed in physical units or with a percent or fraction. Cf. permanentCropLandArea.") | Geography.kif 2025-2029 | |
| (domain arableLandArea 1 GeographicArea) | Geography.kif 2022-2022 | |
| (domain arableLandArea 2 ConstantQuantity) | Geography.kif 2023-2023 | |
| (instance arableLandArea BinaryPredicate) | Geography.kif 2021-2021 |
| 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 8143-8143 | |
| (termFormat ChineseTraditionalLanguage arableLandArea "耕地面積") | domainEnglishFormat.kif 8142-8142 | |
| (termFormat EnglishLanguage arableLandArea "arable land area") | domainEnglishFormat.kif 8141-8141 |
| antecedent |
|
|
| (=> (and (arableLandArea ?REGION ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))) (arableLandArea ?REGION ?AMOUNT)) |
Geography.kif 2040-2047 | |
| (=> (and (arableLandArea ?REGION ?FRACTION) (greaterThanOrEqualTo ?FRACTION 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 2049-2059 | |
| (=> (and (arableLandArea ?REGION ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0) (totalArea ?REGION ?TOTAL) (instance ?TOTAL AreaMeasure) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (arableLandArea ?REGION ?AMOUNT)) |
Geography.kif 2031-2038 |
| consequent |
|
|
| (=> (and (arableLandArea ?REGION ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT))) (arableLandArea ?REGION ?AMOUNT)) |
Geography.kif 2040-2047 | |
| (=> (and (arableLandArea ?REGION ?FRACTION) (greaterThanOrEqualTo ?FRACTION 0) (totalArea ?REGION ?TOTAL) (instance ?TOTAL AreaMeasure) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?TOTAL))) (arableLandArea ?REGION ?AMOUNT)) |
Geography.kif 2031-2038 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners