Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - irrigatedLandArea
irrigatedLandArea

appearance as argument number 1
-------------------------


(documentation irrigatedLandArea EnglishLanguage "(irrigatedLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has the ?AMOUNT of irrigated land.") Geography.kif 2212-2213
(domain irrigatedLandArea 1 GeographicArea) Geography.kif 2209-2209 The number 1 argument of irrigated land area is an instance of geographic area
(domain irrigatedLandArea 2 ConstantQuantity) Geography.kif 2210-2210 The number 2 argument of irrigated land area is an instance of constant quantity
(instance irrigatedLandArea BinaryPredicate) Geography.kif 2208-2208 irrigated land area is an instance of binary predicate

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 31111-31111
(termFormat ChineseTraditionalLanguage irrigatedLandArea "灌溉土地面積") domainEnglishFormat.kif 31110-31110
(termFormat EnglishLanguage irrigatedLandArea "irrigated land area") domainEnglishFormat.kif 31109-31109

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 2215-2225
(=>
    (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 2239-2249
(=>
    (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 2227-2237

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 2215-2225
(=>
    (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 2227-2237


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