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

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 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