![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
AtlanticOcean
|
|
|
| appearance as argument number 1 |
|
|
| (orientation AtlanticOcean SouthernFrance West) | Geography.kif 342-342 | Atlantic ocean is west of to Southern France |
| (instance AtlanticOcean Ocean) | Geography.kif 6076-6076 | Atlantic ocean is an instance of ocean |
| (documentation AtlanticOcean EnglishLanguage "AtlanticOcean represents the Atlantic Ocean.") | Geography.kif 6078-6079 | Atlantic ocean is an instance of ocean |
| (orientation AtlanticOcean SaharaDesert West) | Geography.kif 8280-8280 | Atlantic ocean is west of to Sahara Desert |
| (orientation AtlanticOcean Sahel West) | Geography.kif 8299-8299 | Atlantic ocean is west of to Sahel |
| (externalImage AtlanticOcean "http://articulatesoftware.com/SUMOpictures/ geography/ Country_Maps/ A/ Atlantic_Ocean.png") | pictureList.kif 243-243 | Atlantic ocean is west of to Sahel |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (connects StraitOfGibraltar MediterraneanSea AtlanticOcean) | Geography.kif 6919-6919 | Strait of Gibraltar connects mediterranean sea and atlantic ocean |