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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RainForest
RainForest(rain forest)rain_forest, rainforest

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


(documentation RainForest EnglishLanguage "RainForest is the subclass of LandAreas that are densely planted with trees.") Geography.kif 6435-6436
(subclass RainForest Biome) Geography.kif 6432-6432 Rain forest is a subclass of biome
(subclass RainForest Forest) Geography.kif 6433-6433 Rain forest is a subclass of forest

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


(subclass TemperateRainForest RainForest) Geography.kif 6444-6444 Temperate rain forest is a subclass of rain forest
(subclass TropicalRainForest RainForest) Geography.kif 6442-6442 Tropical rain forest is a subclass of rain forest
(termFormat ChineseLanguage RainForest "雨林") domainEnglishFormat.kif 48719-48719 Tropical rain forest is a subclass of rain forest
(termFormat ChineseTraditionalLanguage RainForest "雨林") domainEnglishFormat.kif 48718-48718 Tropical rain forest is a subclass of rain forest
(termFormat EnglishLanguage RainForest "rain forest") domainEnglishFormat.kif 48717-48717 Tropical rain forest is a subclass of rain forest

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


(=>
    (instance ?FOREST RainForest)
    (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))
Geography.kif 6438-6440


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