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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - RainForest

appearance as argument number 1

(documentation RainForest EnglishLanguage "RainForest is the subclass of LandAreas that are densely planted with trees.") Geography.kif 6003-6004
(subclass RainForest Biome) Geography.kif 6000-6000 雨林生物群落subclass
(subclass RainForest Forest) Geography.kif 6001-6001 雨林森林subclass

appearance as argument number 2

(subclass TemperateRainForest RainForest) Geography.kif 6012-6012 温带雨林雨林subclass
(subclass TropicalRainForest RainForest) Geography.kif 6010-6010 热带雨林雨林subclass
(termFormat ChineseLanguage RainForest "雨林") domainEnglishFormat.kif 48614-48614
(termFormat ChineseTraditionalLanguage RainForest "雨林") domainEnglishFormat.kif 48613-48613
(termFormat EnglishLanguage RainForest "rain forest") domainEnglishFormat.kif 48612-48612


    (instance ?FOREST RainForest)
    (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))
Geography.kif 6006-6008

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