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 6668-6669
(subclass RainForest Biome) Geography.kif 6665-6665 雨林生物群落subclass
(subclass RainForest Forest) Geography.kif 6666-6666 雨林森林subclass

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


(subclass TemperateRainForest RainForest) Geography.kif 6677-6677 温带雨林雨林subclass
(subclass TropicalRainForest RainForest) Geography.kif 6675-6675 热带雨林雨林subclass
(termFormat ChineseLanguage RainForest "雨林") domainEnglishFormat.kif 48690-48690 热带雨林雨林subclass
(termFormat ChineseTraditionalLanguage RainForest "雨林") domainEnglishFormat.kif 48689-48689 热带雨林雨林subclass
(termFormat EnglishLanguage RainForest "rain forest") domainEnglishFormat.kif 48688-48688 热带雨林雨林subclass

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


(=>
    (instance ?FOREST RainForest)
    (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation))
Geography.kif 6671-6673


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