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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MaritimeClaimArea
MaritimeClaimArea

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

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


(subclass ExclusiveFishingZone MaritimeClaimArea) Geography.kif 1132-1132
(subclass ExtendedFishingZone MaritimeClaimArea) Geography.kif 1164-1164
(subclass MaritimeContiguousZone MaritimeClaimArea) Geography.kif 1030-1030
(subclass MaritimeExclusiveEconomicZone MaritimeClaimArea) Geography.kif 1099-1099
(subclass MaritimeShelfArea MaritimeClaimArea) Geography.kif 1057-1057
(subclass TerritorialSea MaritimeClaimArea) Geography.kif 1196-1196
(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

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