Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ContinentalShelf(continental shelf)
|  | continental_shelf |
| appearance as argument number 1 |
|
|
| (subclass ContinentalShelf SubmergedLandArea) | Geography.kif 7681-7681 | Continental shelf is a subclass of submerged land area |
| (documentation ContinentalShelf EnglishLanguage "A ContinentalShelf is a natural undersea extension of land around a Continent. The shelf is a gently sloped (average less than one percent) plain that is an extension of the CoastalPlain found off the coast of most continents.") | Geography.kif 7683-7686 | Continental shelf is a subclass of submerged land area |
| (externalImage ContinentalShelf "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Continental_shelf.png") | pictureList.kif 2453-2453 | Continental shelf is a subclass of submerged land area |
| (externalImage ContinentalShelf "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Elevation.jpg") | pictureList.kif 2559-2559 | Continental shelf is a subclass of submerged land area |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?country)) (overlapsSpatially ?zone ?shelf)) |
Geography.kif 2532-2539 | If X is an instance of maritime shelf area, Y is an instance of continental shelf, Z is an instance of nation, Y meets Z, and Z is a claimed territory of X, then X and Y overlapsSpatially |
| (=> (instance ?SHELF ContinentalShelf) (exists (?MARGIN) (and (instance ?MARGIN ContinentalMargin) (properPart ?SHELF ?MARGIN) (overlapsSpatially ?SHELF ?MARGIN)))) |
Geography.kif 7696-7702 | If X is an instance of continental shelf, then there exists Y such that Y is an instance of continental margin, X is a proper part of Y, X, and Y overlapsSpatially |
|