| appearance as argument number 1 |
|
| (documentation irrigatedLandArea EnglishLanguage "(irrigatedLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has the ?AMOUNT of irrigated land.") | Geography.kif 2200-2201 | |
| (domain irrigatedLandArea 1 GeographicArea) | Geography.kif 2197-2197 | |
| (domain irrigatedLandArea 2 ConstantQuantity) | Geography.kif 2198-2198 | |
| (instance irrigatedLandArea BinaryPredicate) | Geography.kif 2196-2196 |
| 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 31139-31139 | |
| (termFormat ChineseTraditionalLanguage irrigatedLandArea "灌溉土地面積") | domainEnglishFormat.kif 31138-31138 | |
| (termFormat EnglishLanguage irrigatedLandArea "irrigated land area") | domainEnglishFormat.kif 31137-31137 |
| antecedent |
|
|
| (=> (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 2203-2213 | |
| (=> (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 2227-2237 | |
| (=> (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 2215-2225 |
| consequent |
|
|
| (=> (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 2203-2213 | |
| (=> (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 2215-2225 |
|
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 3.0 is open source software produced by Articulate Software and its partners