Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Savanna(savanna)
|  | savanna, savannah |
| appearance as argument number 1 |
|
|
| (subclass Savanna Grassland) | Geography.kif 8351-8351 | Savanna is a subclass of grassland |
| (subclass Savanna Plain) | Geography.kif 8352-8352 | Savanna is a subclass of plain |
| (documentation Savanna EnglishLanguage "Savanna is a class of tropical or subtropical Grasslands, typically treeless.") | Geography.kif 8354-8355 | Savanna is a subclass of plain |
| (externalImage Savanna "http://upload.wikimedia.org/wikipedia/commons/b/ b3/ Male_lion_on_savanna.jpg") | pictureList.kif 4814-4814 | Savanna is a subclass of plain |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PLAIN Savanna) (not (vegetationType ?PLAIN BotanicalTree))) |
Geography.kif 8357-8360 | If X is an instance of savanna, then botanical tree is found in X |
|