Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
GulfOfOman(gulf of oman)
|
| appearance as argument number 1 |
|
| (instance GulfOfOman Gulf) | Geography.kif 6713-6713 | Gulf of oman is an instance of gulf |
| (instance GulfOfOman SaltWaterArea) | Geography.kif 6714-6714 | Gulf of oman is an instance of salt water area |
| (connected GulfOfOman ArabianSea) | Geography.kif 6717-6717 | Gulf of oman is connected to arabian sea |
| (externalImage GulfOfOman "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ LocationGulf_of_Oman.png") | pictureList.kif 2474-2474 | Gulf of oman is connected to arabian sea |
| appearance as argument number 2 |
|
|
|