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 2110-2113
(subclass PermanentCropLand LandArea) Geography.kif 2108-2108 PermanentCropLand ist eine teilkategorie von LandArea

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


(termFormat ChineseLanguage PermanentCropLand "永久性耕地") domainEnglishFormat.kif 45242-45242
(termFormat ChineseTraditionalLanguage PermanentCropLand "永久性耕地") domainEnglishFormat.kif 45241-45241
(termFormat EnglishLanguage PermanentCropLand "permanent crop land") domainEnglishFormat.kif 45240-45240

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 2178-2196
(=>
    (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 2138-2152


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