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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PermanentCropLand
PermanentCropLand

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 2113-2116
(subclass PermanentCropLand LandArea) Geography.kif 2111-2111

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


(termFormat ChineseLanguage PermanentCropLand "永久性耕地") domainEnglishFormat.kif 45223-45223
(termFormat ChineseTraditionalLanguage PermanentCropLand "永久性耕地") domainEnglishFormat.kif 45222-45222
(termFormat EnglishLanguage PermanentCropLand "permanent crop land") domainEnglishFormat.kif 45221-45221

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


(=>
    (and
        (otherLandUseArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.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 2181-2199
(=>
    (and
        (permanentCropLandArea ?REGION
            (MeasureFn ?FRACTION ?UNIT))
        (greaterThanOrEqualTo ?FRACTION 0.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 2141-2155


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