Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContinentalShelf
ContinentalShelf(大陆棚)

appearance as argument number 1
-------------------------


(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 6083-6086
(externalImage ContinentalShelf "http://upload.wikimedia.org/wikipedia/commons/ 3/ 32/ Continental_shelf.png") pictureList.kif 2454-2454
(externalImage ContinentalShelf "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Elevation.jpg") pictureList.kif 2560-2560
(subclass ContinentalShelf SubmergedLandArea) Geography.kif 6081-6081 大陆棚淹没的土地面积subclass

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage ContinentalShelf "大陆棚") domainEnglishFormat.kif 16974-16974
(termFormat ChineseTraditionalLanguage ContinentalShelf "大陸棚") domainEnglishFormat.kif 16973-16973
(termFormat EnglishLanguage ContinentalShelf "continental shelf") domainEnglishFormat.kif 16972-16972

antecedent
-------------------------


(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))
Geography.kif 1075-1082
(=>
    (instance ?SHELF ContinentalShelf)
    (exists (?MARGIN)
        (and
            (instance ?MARGIN ContinentalMargin)
            (properPart ?SHELF ?MARGIN)
            (overlapsSpatially ?SHELF ?MARGIN))))
Geography.kif 6096-6102


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners