![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SeabedArea(seabed area) | Davy_Jones, Davy_Jones's_locker, ocean_bottom, ocean_floor, sea_bottom, sea_floor, seabed |
| appearance as argument number 1 |
|
|
| (subclass SeabedArea SubmergedLandArea) | Geography.kif 7704-7704 | Seabed area is a subclass of submerged land area |
| (documentation SeabedArea EnglishLanguage "SeabedArea is the class of SubmergedLandAreas that are part of the sea floor.") | Geography.kif 7706-7708 | Seabed area is a subclass of submerged land area |
| appearance as argument number 2 |
|
|