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 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 JungleBiomesubclass では %n
(subclass Jungle LandArea) Geography.kif 6598-6598 Jungle土地面積subclass では %n

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 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