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 5920-5921
(instance DenseVegetation Attribute) Geography.kif 5918-5918 instance DenseVegetation and Attribute

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


(termFormat ChineseLanguage DenseVegetation "茂密的植被") domainEnglishFormat.kif 18982-18982
(termFormat ChineseTraditionalLanguage DenseVegetation "茂密的植被") domainEnglishFormat.kif 18981-18981
(termFormat EnglishLanguage DenseVegetation "dense vegetation") domainEnglishFormat.kif 18980-18980

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


(=>
    (instance ?FOREST Forest)
    (vegetationTypePattern ?FOREST BotanicalTree DenseVegetation))
Geography.kif 5996-5998
(=>
    (instance ?FOREST Jungle)
    (vegetationTypePattern ?FOREST Plant DenseVegetation))
Geography.kif 6037-6039
(=>
    (instance ?SWAMP Swamp)
    (vegetationTypePattern ?SWAMP Grass DenseVegetation))
Geography.kif 6049-6051


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