| appearance as argument number 1 |
|
| (documentation irrigatedLandArea EnglishLanguage "(irrigatedLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has the ?AMOUNT of irrigated land. ?AMOUNT may be expressed in physical units or with a percent or fraction.") | Geography.kif 2167-2169 | |
| (domain irrigatedLandArea 1 GeographicArea) | Geography.kif 2164-2164 | domain irrigatedLandArea, 1 and GeographicArea |
| (domain irrigatedLandArea 2 ConstantQuantity) | Geography.kif 2165-2165 | domain irrigatedLandArea, 2 and ConstantQuantity |
| (instance irrigatedLandArea BinaryPredicate) | Geography.kif 2163-2163 | instance irrigatedLandArea and BinaryPredicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage irrigatedLandArea "%2 %n 是 %1 的 irrigated 土地") | domainEnglishFormat.kif 1397-1397 | |
| (format ChineseTraditionalLanguage irrigatedLandArea "%2 %n 是 %1 的 irrigated 土地") | domainEnglishFormat.kif 1396-1396 | |
| (format EnglishLanguage irrigatedLandArea "%2 is %n an irrigated land area of %1") | domainEnglishFormat.kif 1395-1395 | |
| (termFormat ChineseLanguage irrigatedLandArea "灌溉土地面积") | domainEnglishFormat.kif 31015-31015 | termFormat ChineseLanguage, irrigatedLandArea and "灌溉土地面积" |
| (termFormat ChineseTraditionalLanguage irrigatedLandArea "灌溉土地面積") | domainEnglishFormat.kif 31014-31014 | termFormat ChineseTraditionalLanguage, irrigatedLandArea and "灌溉土地面積" |
| (termFormat EnglishLanguage irrigatedLandArea "irrigated land area") | domainEnglishFormat.kif 31013-31013 | termFormat EnglishLanguage, irrigatedLandArea and "irrigated land area" |
| antecedent |
|
|
| (=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (instance ?UNIT UnitOfArea)) (exists (?IRRLAND) (and (instance ?IRRLAND IrrigatedLand) (geographicSubregion ?IRRLAND ?REGION) (measure ?IRRLAND (MeasureFn ?AMOUNT ?UNIT))))) |
Geography.kif 2188-2196 | |
| (=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION ?FRACTION)) |
Geography.kif 2180-2186 | |
| (=> (and (irrigatedLandArea ?REGION ?AMOUNT) (instance ?AMOUNT AreaMeasure) (totalArea ?REGION ?TOTAL) (instance ?TOTAL AreaMeasure) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION ?FRACTION)) |
Geography.kif 2171-2178 |
| consequent |
|
|
| (=> (and (irrigatedLandArea ?REGION (MeasureFn ?AMOUNT ?UNIT)) (totalArea ?REGION (MeasureFn ?TOTAL ?UNIT)) (instance ?UNIT UnitOfArea) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION ?FRACTION)) |
Geography.kif 2180-2186 | |
| (=> (and (irrigatedLandArea ?REGION ?AMOUNT) (instance ?AMOUNT AreaMeasure) (totalArea ?REGION ?TOTAL) (instance ?TOTAL AreaMeasure) (equal ?FRACTION (DivisionFn ?AMOUNT ?TOTAL))) (irrigatedLandArea ?REGION ?FRACTION)) |
Geography.kif 2171-2178 |
|
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