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


KB Term:  Term intersection
English Word: 

Sigma KEE - ContinentalMargin
ContinentalMargin(continental margin)

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


(subclass ContinentalMargin SubmergedLandArea) Geography.kif 7688-7688 Continental margin is a subclass of submerged land area
(documentation ContinentalMargin EnglishLanguage "ContinentalMargin is class of SubmergedLandAreas that are the extension of land underwater at the edge of a continent, before a drop to the sea floor. A ContinentalMargin includes the ContinentalShelf and the continental break, slope, or rise at the outer edge.") Geography.kif 7690-7694 Continental margin is a subclass of submerged land area
(externalImage ContinentalMargin "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 32/ Continental_shelf.png") pictureList.kif 2452-2452 Continental margin is a subclass of submerged land area

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


(termFormat EnglishLanguage ContinentalMargin "continental margin") domainEnglishFormat.kif 16968-16968
(termFormat ChineseTraditionalLanguage ContinentalMargin "大陸邊緣") domainEnglishFormat.kif 16969-16969
(termFormat ChineseLanguage ContinentalMargin "大陆边缘") domainEnglishFormat.kif 16970-16970

consequent
-------------------------


(=>
    (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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners