Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Broom
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Tundra Biome) | Geography.kif 8391-8391 | Tundra is a subclass of biome |
| (subclass Tundra Plain) | Geography.kif 8392-8392 | Tundra is a subclass of plain |
| (documentation Tundra EnglishLanguage "Tundra is a subclass of flat, treeless Plains areas lying within the ArcticRegion. Subsoil in Tundra is permanently frozen.") | Geography.kif 8395-8397 | Tundra is a subclass of plain |
| (externalImage Tundra "http://upload.wikimedia.org/wikipedia/commons/4/4c/ Wrangel_Island_tundra.jpg") | pictureList.kif 4836-4836 | Tundra is a subclass of plain |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PLAIN Tundra) (vegetationType ?PLAIN Lichen)) |
Geography.kif 8399-8401 | If X is an instance of tundra, then lichen is found in X |
| (=> (instance ?PLAIN Tundra) (vegetationType ?PLAIN Moss)) |
Geography.kif 8403-8405 | If X is an instance of tundra, then moss is found in X |
|
