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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 5911-5912
(subclass RainForest Biome) Geography.kif 5908-5908
(subclass RainForest Forest) Geography.kif 5909-5909

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


(subclass TemperateRainForest RainForest) Geography.kif 5920-5920
(subclass TropicalRainForest RainForest) Geography.kif 5918-5918
(termFormat ChineseLanguage RainForest "雨林") domainEnglishFormat.kif 48625-48625
(termFormat ChineseTraditionalLanguage RainForest "雨林") domainEnglishFormat.kif 48624-48624
(termFormat EnglishLanguage RainForest "rain forest") domainEnglishFormat.kif 48623-48623

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


(=>
    (instance ?FOREST RainForest)
    (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))
Geography.kif 5914-5916


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners