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. ?AMOUNT may be expressed in physical units or with a percent or fraction.") Geography.kif 2155-2157
(domain irrigatedLandArea 1 GeographicArea) Geography.kif 2152-2152
(domain irrigatedLandArea 2 ConstantQuantity) Geography.kif 2153-2153
(instance irrigatedLandArea BinaryPredicate) Geography.kif 2151-2151

appearance as argument number 2
-------------------------


(format EnglishLanguage irrigatedLandArea "%2 is %n an irrigated land area of %1") domainEnglishFormat.kif 357-357
(termFormat EnglishLanguage irrigatedLandArea "irrigated land area") domainEnglishFormat.kif 5602-5602

antecedent
-------------------------


(=>
    (and
        (irrigatedLandArea ?REGION
            (MeasureFn ?AMOUNT ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?IRRLAND)
        (and
            (instance ?IRRLAND IrrigatedLand)
            (geographicSubregion ?IRRLAND ?REGION)
            (measure ?PERMCROP
                (MeasureFn ?AMOUNT ?UNIT)))))
Geography.kif 2176-2184
(=>
    (and
        (irrigatedLandArea ?REGION
            (MeasureFn ?AMOUNT ?UNIT))
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?FRACTION
            (DivisionFn ?AMOUNT ?TOTAL)))
    (irrigatedLandArea ?REGION ?FRACTION))
Geography.kif 2168-2174
(=>
    (and
        (irrigatedLandArea ?REGION ?AMOUNT)
        (instance ?AMOUNT AreaMeasure)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?FRACTION
            (DivisionFn ?AMOUNT ?TOTAL)))
    (irrigatedLandArea ?REGION ?FRACTION))
Geography.kif 2159-2166

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 2168-2174
(=>
    (and
        (irrigatedLandArea ?REGION ?AMOUNT)
        (instance ?AMOUNT AreaMeasure)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?FRACTION
            (DivisionFn ?AMOUNT ?TOTAL)))
    (irrigatedLandArea ?REGION ?FRACTION))
Geography.kif 2159-2166


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners