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

Formal Language: 



KB Term:  Term intersection
English Word: 

  arableLandArea

Sigma KEE - arableLandArea
arableLandArea

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


(documentation arableLandArea EnglishLanguage "(arableLandArea ?REGION ?AMOUNT) means that the GeographicArea ?REGION has ?AMOUNT of land under cultivation with crops that are replanted after each harvest. Cf. permanentCropLandArea.") Geography.kif 2078-2081
(domain arableLandArea 1 GeographicArea) Geography.kif 2075-2075
(domain arableLandArea 2 ConstantQuantity) Geography.kif 2076-2076
(instance arableLandArea BinaryPredicate) Geography.kif 2074-2074

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


(format ChineseLanguage arableLandArea "%2 %n 是 %1 的 arable 土地") domainEnglishFormat.kif 192-192
(format ChineseTraditionalLanguage arableLandArea "%2 %n 是 %1 的 arable 土地") domainEnglishFormat.kif 191-191
(format EnglishLanguage arableLandArea "%2 is %n an arable land area of %1") domainEnglishFormat.kif 190-190
(termFormat ChineseLanguage arableLandArea "耕地面积") domainEnglishFormat.kif 8145-8145
(termFormat ChineseTraditionalLanguage arableLandArea "耕地面積") domainEnglishFormat.kif 8144-8144
(termFormat EnglishLanguage arableLandArea "arable land area") domainEnglishFormat.kif 8143-8143

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


(=>
    (and
        (arableLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))
Geography.kif 2083-2093
(=>
    (and
        (arableLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?ARABLE)
        (and
            (instance ?ARABLE ArableLand)
            (geographicSubregion ?ARABLE ?REGION)
            (measure ?ARABLE
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2095-2109

consequent
-------------------------


(=>
    (and
        (arableLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION
        (MeasureFn ?AMOUNT ?UNIT)))
Geography.kif 2083-2093


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