| 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 2 ConstantQuantity) | Geography.kif 2165-2165 | |
| (instance irrigatedLandArea BinaryPredicate) | Geography.kif 2163-2163 |
| 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 31105-31105 | |
| (termFormat ChineseTraditionalLanguage irrigatedLandArea "灌溉土地面積") | domainEnglishFormat.kif 31104-31104 | |
| (termFormat EnglishLanguage irrigatedLandArea "irrigated land area") | domainEnglishFormat.kif 31103-31103 |
| 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 3.0 is open source software produced by Articulate Software and its partners