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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - MaritimeShelfArea
MaritimeShelfArea(maritime shelf area)

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


(documentation MaritimeShelfArea EnglishLanguage "MaritimeShelfArea is a subclass of MaritimeClaimArea that covers SubmergedLandAreas claimed by an adjacent geopolitical area. The LawOfTheSea defines the continental shelf as extending up to 200 miles (NM) offshore and including the resources found therein. The defined claim area does not correspond exactly to a geological ContinentalShelf, but if there is one, the two areas will overlap spatially.") Geography.kif 1191-1197
(externalImage MaritimeShelfArea "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1a/ Ross_Ice_Shelf_1997.jpg") pictureList.kif 2488-2488
(subclass MaritimeShelfArea MaritimeClaimArea) Geography.kif 1188-1188 Maritime shelf area is a subclass of maritime claim area
(subclass MaritimeShelfArea SubmergedLandArea) Geography.kif 1189-1189 Maritime shelf area is a subclass of submerged land area

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


(range MaritimeShelfAreaFn MaritimeShelfArea) Geography.kif 1217-1217 The range of maritime shelf area is an instance of maritime shelf area
(termFormat ChineseLanguage MaritimeShelfArea "海运货架区") domainEnglishFormat.kif 36248-36248 The range of maritime shelf area is an instance of maritime shelf area
(termFormat ChineseTraditionalLanguage MaritimeShelfArea "海運貨架區") domainEnglishFormat.kif 36247-36247 The range of maritime shelf area is an instance of maritime shelf area
(termFormat EnglishLanguage MaritimeShelfArea "maritime shelf area") domainEnglishFormat.kif 36246-36246 The range of maritime shelf area is an instance of maritime shelf area

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))
Geography.kif 1223-1227
(=>
    (and
        (instance ?ZONE MaritimeShelfArea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))
Geography.kif 1199-1204
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))
Geography.kif 1206-1213


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