![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
PersonalAccount
|
|
|
| appearance as argument number 1 |
|
|
| (instance RedSea Sea) | Geography.kif 6357-6357 | Red sea is an instance of sea |
| (connected RedSea GulfOfAden) | Geography.kif 6724-6724 | Red sea is connected to gulf of aden |
| (orientation RedSea SaharaDesert East) | Geography.kif 8279-8279 | Red sea is east of to Sahara Desert |
| (orientation RedSea Sahel East) | Geography.kif 8298-8298 | Red sea is east of to Sahel |
| (externalImage RedSea "http://upload.wikimedia.org/wikipedia/commons/0/02/ Red_Sea.png") | pictureList.kif 4803-4803 | Red sea is east of to Sahel |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (connects Sahel AtlanticOcean RedSea) | Geography.kif 8295-8295 | Sahel connects atlantic ocean and red sea |