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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Jungle

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 6034-6035
(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 6031-6031 丛林生物群落subclass
(subclass Jungle LandArea) Geography.kif 6032-6032 丛林土地面积subclass

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


(termFormat ChineseLanguage Jungle "丛林") domainEnglishFormat.kif 31825-31825
(termFormat ChineseTraditionalLanguage Jungle "叢林") domainEnglishFormat.kif 31824-31824
(termFormat EnglishLanguage Jungle "jungle") domainEnglishFormat.kif 31823-31823

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


(=>
    (instance ?FOREST Jungle)
    (vegetationTypePattern ?FOREST Plant DenseVegetation))
Geography.kif 6037-6039


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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