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 3578-3581
(subclass PermanentCropLand LandArea) Geography.kif 3576-3576 PermanentCropLand is a subclass of land area

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


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

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 3646-3664
(=>
    (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 3606-3620


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