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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Jungle
Jungle

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


(documentation Jungle EnglishLanguage "Jungle is a subclass of fertile LandAreas that are overgrown with tropical vegetation.") Geography.kif 6669-6670
(externalImage Jungle "http://upload.wikimedia.org/wikipedia/commons/4/47/ Jungle.jpg") pictureList.kif 5040-5040
(externalImage Jungle "http://upload.wikimedia.org/wikipedia/commons/4/4f/ DirkvdM_cloudforest_jungle.jpg") pictureList.kif 4752-4752
(externalImage Jungle "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Box_Log_Falls.jpg") pictureList.kif 4918-4918
(externalImage Jungle "http://upload.wikimedia.org/wikipedia/commons/d/de/ DirkvdM_epiphytes.jpg") pictureList.kif 5039-5039
(subclass Jungle Biome) Geography.kif 6666-6666
(subclass Jungle LandArea) Geography.kif 6667-6667

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


(termFormat ChineseLanguage Jungle "δΈ›ζž—") domainEnglishFormat.kif 31925-31925
(termFormat ChineseTraditionalLanguage Jungle "ε’ζž—") domainEnglishFormat.kif 31924-31924
(termFormat EnglishLanguage Jungle "jungle") domainEnglishFormat.kif 31923-31923

antecedent
-------------------------


(=>
    (instance ?FOREST Jungle)
    (vegetationTypePattern ?FOREST Plant DenseVegetation))
Geography.kif 6672-6674


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