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


KB Term:  Term intersection
English Word: 

  MaritimeShelfArea

 Sigma KEE - MaritimeShelfArea
MaritimeShelfArea(maritime shelf area)

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


(subclass MaritimeShelfArea MaritimeClaimArea) Geography.kif 2514-2514 Maritime shelf area is a subclass of maritime claim area
(subclass MaritimeShelfArea SubmergedLandArea) Geography.kif 2515-2515 Maritime shelf area is a subclass of submerged land area
(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 2517-2523 Maritime shelf area is a subclass of submerged land area
(externalImage MaritimeShelfArea "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1a/ Ross_Ice_Shelf_1997.jpg") pictureList.kif 2488-2488 Maritime shelf area is a subclass of submerged land area

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


(range MaritimeShelfAreaFn MaritimeShelfArea) Geography.kif 2543-2543 The range of maritime shelf area is an instance of maritime shelf area
(termFormat EnglishLanguage MaritimeShelfArea "maritime shelf area") domainEnglishFormat.kif 36239-36239 The range of maritime shelf area is an instance of maritime shelf area
(termFormat ChineseTraditionalLanguage MaritimeShelfArea "海運貨架區") domainEnglishFormat.kif 36240-36240 The range of maritime shelf area is an instance of maritime shelf area
(termFormat ChineseLanguage MaritimeShelfArea "海运货架区") domainEnglishFormat.kif 36241-36241 The range of maritime shelf area is an instance of maritime shelf area

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


(=>
    (and
        (instance ?ZONE MaritimeShelfArea)
        (linearExtent ?ZONE
            (MeasureFn ?WIDTH NauticalMile)))
    (lessThanOrEqualTo ?WIDTH 200.0))		 Geography.kif 2525-2530 If X is an instance of maritime shelf area and the linear extent of X is Y nautical mile(s), then Y is less than or equal to 200.0
(=>
    (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
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))		 Geography.kif 2549-2553 If X is an instance of geopolitical area and the maritime shelf area of X is an instance of maritime shelf area, then X is a claimed territory of the maritime shelf area of X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners