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 5941-5942
(externalImage Jungle "http://upload.wikimedia.org/wikipedia/commons/4/47/ Jungle.jpg") pictureList.kif 5042-5042
(externalImage Jungle "http://upload.wikimedia.org/wikipedia/commons/4/4f/ DirkvdM_cloudforest-jungle.jpg") pictureList.kif 4754-4754
(externalImage Jungle "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Box_Log_Falls.jpg") pictureList.kif 4920-4920
(externalImage Jungle "http://upload.wikimedia.org/wikipedia/commons/d/de/ DirkvdM_epiphytes.jpg") pictureList.kif 5041-5041
(subclass Jungle Biome) Geography.kif 5938-5938
(subclass Jungle LandArea) Geography.kif 5939-5939

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


(termFormat ChineseLanguage Jungle "δΈ›ζž—") domainEnglishFormat.kif 31795-31795
(termFormat ChineseTraditionalLanguage Jungle "ε’ζž—") domainEnglishFormat.kif 31794-31794
(termFormat EnglishLanguage Jungle "jungle") domainEnglishFormat.kif 31793-31793

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


(=>
    (instance ?FOREST Jungle)
    (vegetationTypePattern ?FOREST Plant DenseVegetation))
Geography.kif 5944-5946


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners