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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MaritimeClaimArea

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 MaritimeClaimArea è una sottoclasse di AreaGeografica

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


(subclass ExclusiveFishingZone MaritimeClaimArea) Geography.kif 1132-1132 ExclusiveFishingZone è una sottoclasse di MaritimeClaimArea
(subclass ExtendedFishingZone MaritimeClaimArea) Geography.kif 1164-1164 ExtendedFishingZone è una sottoclasse di MaritimeClaimArea
(subclass MaritimeContiguousZone MaritimeClaimArea) Geography.kif 1030-1030 MaritimeContiguousZone è una sottoclasse di MaritimeClaimArea
(subclass MaritimeExclusiveEconomicZone MaritimeClaimArea) Geography.kif 1099-1099 MaritimeExclusiveEconomicZone è una sottoclasse di MaritimeClaimArea
(subclass MaritimeShelfArea MaritimeClaimArea) Geography.kif 1057-1057 MaritimeShelfArea è una sottoclasse di MaritimeClaimArea
(subclass TerritorialSea MaritimeClaimArea) Geography.kif 1196-1196 TerritorialSea è una sottoclasse di MaritimeClaimArea
(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 Il numero 2 argomento maritimeClaimType è una sottoclasse diMaritimeClaimArea

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 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 is open source software produced by Articulate Software and its partners