Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| irrigatedLandArea |
| appearance as argument number 1 |
|
| (instance irrigatedLandArea BinaryPredicate) | Geography.kif 3663-3663 | irrigated land area is an instance of binary predicate |
| (domain irrigatedLandArea 1 GeographicArea) | Geography.kif 3664-3664 | The number 1 argument of irrigated land area is an instance of geographic area |
| (domain irrigatedLandArea 2 ConstantQuantity) | Geography.kif 3665-3665 | The number 2 argument of irrigated land area is an instance of constant quantity |
| (documentation irrigatedLandArea EnglishLanguage "(irrigatedLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has the ?AMOUNT of irrigated land.") | Geography.kif 3667-3668 | The number 2 argument of irrigated land area is an instance of constant quantity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage irrigatedLandArea "%2 is %n an irrigated land area of %1") | domainEnglishFormat.kif 1395-1395 | |
| (format ChineseTraditionalLanguage irrigatedLandArea "%2 %n 是 %1 的 irrigated 土地") | domainEnglishFormat.kif 1396-1396 | |
| (format ChineseLanguage irrigatedLandArea "%2 %n 是 %1 的 irrigated 土地") | domainEnglishFormat.kif 1397-1397 | |
| (termFormat EnglishLanguage irrigatedLandArea "irrigated land area") | domainEnglishFormat.kif 31113-31113 | |
| (termFormat ChineseTraditionalLanguage irrigatedLandArea "灌溉土地面積") | domainEnglishFormat.kif 31114-31114 | |
| (termFormat ChineseLanguage irrigatedLandArea "灌溉土地面积") | domainEnglishFormat.kif 31115-31115 |
| 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 3670-3680 | If X Y(s) is an irrigated land area of Z, Y is an instance of unit of area, W Y(s) is a total area of Z, and equal V, X, and W, then V Y(s) is an irrigated land area of Z |
| (=> (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 3682-3692 | If X Y(s) is an irrigated land area of Z, W Y(s) is a total area of Z, Y is an instance of unit of area, and equal V, X, and W, then V Y(s) is an irrigated land area of Z |
| (=> (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 3694-3704 | If X Y(s) is an irrigated land area of Z and Y is an instance of unit of area, then there exists W such that W is an instance of irrigated land and W is a geographic subregion of Z and the measure of W is X Y(s) |
| 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 3670-3680 | If X Y(s) is an irrigated land area of Z, Y is an instance of unit of area, W Y(s) is a total area of Z, and equal V, X, and W, then V Y(s) is an irrigated land area of Z |
| (=> (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 3682-3692 | If X Y(s) is an irrigated land area of Z, W Y(s) is a total area of Z, Y is an instance of unit of area, and equal V, X, and W, then V Y(s) is an irrigated land area of Z |
|