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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PermanentCropLand
PermanentCropLand(permanent crop land)permanent_crop_land, 永久性耕地

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


(documentation PermanentCropLand EnglishLanguage "PermanentCropLand is the subclass of LandArea that represents land cultivated for crops that are produced without replanting after every harvest, such as fruit trees, coffee, rubber, nuts, and vineyards. Does not include timberland. Cf. arableLandArea.") Geography.kif 2063-2066
(subclass PermanentCropLand LandArea) Geography.kif 2061-2061 Permanent crop land is a subclass of land area

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


(termFormat ChineseLanguage PermanentCropLand "永久性耕地") domainEnglishFormat.kif 45169-45169 "永久性耕地" is the printable form of permanent crop land in ChineseLanguage
(termFormat ChineseTraditionalLanguage PermanentCropLand "永久性耕地") domainEnglishFormat.kif 45168-45168 "永久性耕地" is the printable form of permanent crop land in ChineseTraditionalLanguage
(termFormat EnglishLanguage PermanentCropLand "permanent crop land") domainEnglishFormat.kif 45167-45167 "permanent crop land" is the printable form of permanent crop land in english language

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


(=>
    (and
        (otherLandUseArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?OTHER)
        (and
            (instance ?OTHER LandArea)
            (not
                (instance ?OTHER ArableLand))
            (not
                (instance ?OTHER PermanentCropLand))
            (geographicSubregion ?OTHER ?REGION)
            (measure ?OTHER
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2139-2151
(=>
    (and
        (permanentCropLandArea ?REGION ?FRACTION)
        (greaterThanOrEqualTo ?FRACTION 0)
        (totalArea ?REGION
            (MeasureFn ?TOTAL ?UNIT))
        (instance ?UNIT UnitOfArea))
    (exists (?PERMCROP)
        (and
            (instance ?PERMCROP PermanentCropLand)
            (geographicSubregion ?PERMCROP ?REGION)
            (measure ?PERMCROP
                (MeasureFn
                    (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2097-2107


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