Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RainForest(rain forest) |  | rain_forest, rainforest |
| appearance as argument number 1 |
|
|
| (subclass RainForest Biome) | Geography.kif 7987-7987 | Rain forest is a subclass of biome |
| (subclass RainForest Forest) | Geography.kif 7988-7988 | Rain forest is a subclass of forest |
| (documentation RainForest EnglishLanguage "RainForest is the subclass of LandAreas that are densely planted with trees.") | Geography.kif 7990-7991 | Rain forest is a subclass of forest |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?FOREST RainForest) (vegetationTypePattern ?FOREST BotanicalTree CanopiedVegetation)) |
Geography.kif 7993-7995 | If X is an instance of rain forest, then X is vegetation type pattern botanical tree for canopied vegetation |
|