Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
BorealForest(boreal forest)
|
| appearance as argument number 1 |
|
| (subclass BorealForest Biome) | Geography.kif 8004-8004 | Boreal forest is a subclass of biome |
| (subclass BorealForest Forest) | Geography.kif 8005-8005 | Boreal forest is a subclass of forest |
| (externalImage BorealForest "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ Ptilium_crista_castrensis.jpg") | pictureList.kif 5887-5887 | Boreal forest is a subclass of forest |
| (externalImage BorealForest "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Picea_glauca_taiga.jpg") | pictureList.kif 6172-6172 | Boreal forest is a subclass of forest |
| (externalImage BorealForest "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Picea_mariana_taiga.jpg") | pictureList.kif 6173-6173 | Boreal forest is a subclass of forest |
| (externalImage BorealForest "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ Taiga.png") | pictureList.kif 6174-6174 | Boreal forest is a subclass of forest |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?FOREST BorealForest) (vegetationType ?FOREST PineTree)) |
Geography.kif 8196-8198 | If X is an instance of boreal forest, then pine tree is found in X |
|