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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MaritimeClaimArea
MaritimeClaimArea(maritime claim area)

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


(documentation MaritimeClaimArea EnglishLanguage "A MaritimeClaimArea is a GeographicArea delimited by a geopolitical state's claim, under the LawOfTheSea, of rights to certain resources, activities, or jurisdiction in the claimed area. MaritimeClaimAreas can pertain to WaterAreas, SubmergedLandAreas, and Airspace.") Geography.kif 1023-1026
(subclass MaritimeClaimArea GeographicArea) Geography.kif 1021-1021 Maritime claim area is a subclass of geographic area

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


(subclass ExclusiveFishingZone MaritimeClaimArea) Geography.kif 1132-1132 Exclusive fishing zone is a subclass of maritime claim area
(subclass ExtendedFishingZone MaritimeClaimArea) Geography.kif 1164-1164 Extended fishing zone is a subclass of maritime claim area
(subclass MaritimeContiguousZone MaritimeClaimArea) Geography.kif 1030-1030 Maritime contiguous zone is a subclass of maritime claim area
(subclass MaritimeExclusiveEconomicZone MaritimeClaimArea) Geography.kif 1099-1099 Maritime exclusive economic zone is a subclass of maritime claim area
(subclass MaritimeShelfArea MaritimeClaimArea) Geography.kif 1057-1057 Maritime shelf area is a subclass of maritime claim area
(subclass TerritorialSea MaritimeClaimArea) Geography.kif 1196-1196 Territorial sea is a subclass of maritime claim area
(termFormat ChineseLanguage MaritimeClaimArea "海事索赔区") domainEnglishFormat.kif 36191-36191
(termFormat ChineseTraditionalLanguage MaritimeClaimArea "海事索賠區") domainEnglishFormat.kif 36190-36190
(termFormat EnglishLanguage MaritimeClaimArea "maritime claim area") domainEnglishFormat.kif 36189-36189

appearance as argument number 3
-------------------------


(domainSubclass maritimeClaimType 2 MaritimeClaimArea) Geography.kif 977-977 The number 2 argument of maritime claim type is a subclass of maritime claim area

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


(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea)
        (claimedTerritory ?AREA ?POLITY))
    (maritimeClaimType ?POLITY ?TYPE))
Geography.kif 998-1003
(=>
    (and
        (instance ?AREA LandlockedArea)
        (subclass ?CLAIM MaritimeClaimArea))
    (not
        (maritimeClaimType ?AREA ?CLAIM)))
Geography.kif 983-987
(=>
    (and
        (maritimeClaimType ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea))
    (exists (?CLAIM)
        (and
            (instance ?CLAIM ?TYPE)
            (claimedTerritory ?CLAIM ?AREA))))
Geography.kif 989-996

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


(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))
Geography.kif 924-932


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