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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DenseVegetation
DenseVegetation

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


(documentation DenseVegetation EnglishLanguage "DenseVegetation describes the density of vegetation in a Forest.") Geography.kif 6013-6014
(instance DenseVegetation Attribute) Geography.kif 6011-6011

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


(termFormat ChineseLanguage DenseVegetation "茂密的植被") domainEnglishFormat.kif 19041-19041
(termFormat ChineseTraditionalLanguage DenseVegetation "茂密的植被") domainEnglishFormat.kif 19040-19040
(termFormat EnglishLanguage DenseVegetation "dense vegetation") domainEnglishFormat.kif 19039-19039

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


(=>
    (instance ?FOREST Forest)
    (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation))
Geography.kif 6092-6094
(=>
    (instance ?FOREST Jungle)
    (vegetationTypePattern ?FOREST Plant DenseVegetation))
Geography.kif 6133-6135
(=>
    (instance ?SWAMP Swamp)
    (vegetationTypePattern ?SWAMP Grass DenseVegetation))
Geography.kif 6145-6147


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