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 2370-2371
(domain irrigatedLandArea 1 GeographicArea) Geography.kif 2367-2367 irrigatedLandArea の数値 1 引数は 地理的地域instance では
(domain irrigatedLandArea 2 ConstantQuantity) Geography.kif 2368-2368 irrigatedLandArea の数値 2 引数は 一定量instance では
(instance irrigatedLandArea BinaryPredicate) Geography.kif 2366-2366 irrigatedLandArea2進述語instance では

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 2373-2383
(=>
    (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 2397-2407
(=>
    (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 2385-2395

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 2373-2383
(=>
    (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 2385-2395


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