Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  GulfOfAden
|
|
|
| appearance as argument number 1 |
|
|
| (instance GulfOfAden Gulf) | Geography.kif 6721-6721 | Gulf of aden is an instance of gulf |
| (instance GulfOfAden SaltWaterArea) | Geography.kif 6722-6722 | Gulf of aden is an instance of salt water area |
| (connected GulfOfAden ArabianSea) | Geography.kif 6725-6725 | Gulf of aden is connected to arabian sea |
| (externalImage GulfOfAden "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3c/ GulfOfAden1860.jpg") | pictureList.kif 2473-2473 | Gulf of aden is connected to arabian sea |
| (externalImage GulfOfAden "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ Gulf_of_Aden.png") | pictureList.kif 4709-4709 | Gulf of aden is connected to arabian sea |
| appearance as argument number 2 |
|
|
|
