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

Formal Language: 



KB Term:  Term intersection
English Word: 

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. ?AMOUNT may be expressed in physical units or with a percent or fraction. Cf. permanentCropLandArea.") Geography.kif 2013-2017
(domain arableLandArea 1 GeographicArea) Geography.kif 2010-2010 arableLandArea の数値 1 引数は 地理的地域instance では %n
(domain arableLandArea 2 ConstantQuantity) Geography.kif 2011-2011 arableLandArea の数値 2 引数は 一定量instance では %n
(instance arableLandArea BinaryPredicate) Geography.kif 2009-2009 arableLandArea2進述語instance では %n

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 8143-8143 termFormat ChineseLanguage, arableLandArea and "耕地面积"
(termFormat ChineseTraditionalLanguage arableLandArea "耕地面積") domainEnglishFormat.kif 8142-8142 termFormat ChineseTraditionalLanguage, arableLandArea and "耕地面積"
(termFormat EnglishLanguage arableLandArea "arable land area") domainEnglishFormat.kif 8141-8141 termFormat EnglishLanguage, arableLandArea and "arable land area"

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


(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MeasureFn
                (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2028-2035
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 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 2037-2047
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2019-2026

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


(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea)
        (equal ?AMOUNT
            (MeasureFn
                (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2028-2035
(=>
    (and
        (arableLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION ?TOTAL)
        (instance ?TOTAL AreaMeasure)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?TOTAL)))
    (arableLandArea ?REGION ?AMOUNT))
Geography.kif 2019-2026


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