| 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 5910-5911 | |
| (subclass RainForest Biome) | Geography.kif 5907-5907 | Rain forest is a subclass of biome |
| (subclass RainForest Forest) | Geography.kif 5908-5908 | Rain forest is a subclass of forest |
| appearance as argument number 2 |
|
|
| (subclass TemperateRainForest RainForest) | Geography.kif 5919-5919 | Temperate rain forest is a subclass of rain forest |
| (subclass TropicalRainForest RainForest) | Geography.kif 5917-5917 | Tropical rain forest is a subclass of rain forest |
| (termFormat ChineseLanguage RainForest "雨林") | domainEnglishFormat.kif 48584-48584 | |
| (termFormat ChineseTraditionalLanguage RainForest "雨林") | domainEnglishFormat.kif 48583-48583 | |
| (termFormat EnglishLanguage RainForest "rain forest") | domainEnglishFormat.kif 48582-48582 |
| antecedent |
|
|
| (=> (instance ?FOREST RainForest) (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation)) |
Geography.kif 5913-5915 |
|
|
|
|