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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RainForest

Sigma KEE - RainForest
RainForest(雨林)

appearance as argument number 1
-------------------------


(documentation RainForest EnglishLanguage "RainForest is the subclass of LandAreas that are densely planted with trees.") Geography.kif 6365-6366
(subclass RainForest Biome) Geography.kif 6362-6362 子類 雨林 and 生物群落
(subclass RainForest Forest) Geography.kif 6363-6363 子類 雨林 and 森林

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


(subclass TemperateRainForest RainForest) Geography.kif 6374-6374 子類 溫帶雨林 and 雨林
(subclass TropicalRainForest RainForest) Geography.kif 6372-6372 子類 熱帶雨林 and 雨林
(termFormat ChineseLanguage RainForest "雨林") domainEnglishFormat.kif 48686-48686
(termFormat ChineseTraditionalLanguage RainForest "雨林") domainEnglishFormat.kif 48685-48685
(termFormat EnglishLanguage RainForest "rain forest") domainEnglishFormat.kif 48684-48684

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


(=>
    (instance ?FOREST RainForest)
    (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))
Geography.kif 6368-6370


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