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

Formal Language: 



KB Term:  Term intersection
English Word: 

  irrigatedLandArea

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. ?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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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