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 6600-6601
(externalImage Jungle "http://upload.wikimedia.org/wikipedia/commons/4/47/ Jungle.jpg") pictureList.kif 5041-5041
(externalImage Jungle "http://upload.wikimedia.org/wikipedia/commons/4/4f/ DirkvdM_cloudforest-jungle.jpg") pictureList.kif 4753-4753
(externalImage Jungle "http://upload.wikimedia.org/wikipedia/commons/d/d3/ Box_Log_Falls.jpg") pictureList.kif 4919-4919
(externalImage Jungle "http://upload.wikimedia.org/wikipedia/commons/d/de/ DirkvdM_epiphytes.jpg") pictureList.kif 5040-5040
(subclass Jungle Biome) Geography.kif 6597-6597 Jungle est une sous-classe de Biome
(subclass Jungle LandArea) Geography.kif 6598-6598 Jungle est une sous-classe de zone de terre

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


(termFormat ChineseLanguage Jungle "丛林") domainEnglishFormat.kif 31897-31897
(termFormat ChineseTraditionalLanguage Jungle "叢林") domainEnglishFormat.kif 31896-31896
(termFormat EnglishLanguage Jungle "jungle") domainEnglishFormat.kif 31895-31895

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


(=>
    (instance ?FOREST Jungle)
    (vegetationTypePattern ?FOREST Plant DenseVegetation))
Geography.kif 6603-6605


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