MaritimeClaimArea - Sigma Knowledge base Browser

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 1017-1020
(subclass MaritimeClaimArea GeographicArea)	Geography.kif 1015-1015	Maritime claim area is a subclass of geographic area

appearance as argument number 2

(subclass ExclusiveFishingZone MaritimeClaimArea)	Geography.kif 1126-1126	Exclusive fishing zone is a subclass of maritime claim area
(subclass ExtendedFishingZone MaritimeClaimArea)	Geography.kif 1158-1158	Extended fishing zone is a subclass of maritime claim area
(subclass MaritimeContiguousZone MaritimeClaimArea)	Geography.kif 1024-1024	Maritime contiguous zone is a subclass of maritime claim area
(subclass MaritimeExclusiveEconomicZone MaritimeClaimArea)	Geography.kif 1093-1093	Maritime exclusive economic zone is a subclass of maritime claim area
(subclass MaritimeShelfArea MaritimeClaimArea)	Geography.kif 1051-1051	Maritime shelf area is a subclass of maritime claim area
(subclass TerritorialSea MaritimeClaimArea)	Geography.kif 1190-1190	Territorial sea is a subclass of maritime claim area
(termFormat ChineseLanguage MaritimeClaimArea "海事索赔区")	domainEnglishFormat.kif 36217-36217	Territorial sea is a subclass of maritime claim area
(termFormat ChineseTraditionalLanguage MaritimeClaimArea "海事索賠區")	domainEnglishFormat.kif 36216-36216	Territorial sea is a subclass of maritime claim area
(termFormat EnglishLanguage MaritimeClaimArea "maritime claim area")	domainEnglishFormat.kif 36215-36215	Territorial sea is a subclass of maritime claim area

appearance as argument number 3

(domainSubclass maritimeClaimType 2 MaritimeClaimArea)

Geography.kif 971-971

antecedent

(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE))	Geography.kif 992-997	If a geographic area is an instance of a kind of maritime claim area and a kind of maritime claim area is a subclass of maritime claim area and a geopolitical area is a claimed territory of the geographic area, then the kind of maritime claim area is a maritime claim type of the geopolitical area
(=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM)))	Geography.kif 977-981	If a geopolitical area is an instance of landlocked area and a kind of maritime claim area is a subclass of maritime claim area, then a kind of maritime claim area is not a maritime claim type of the geopolitical area
(=> (and (maritimeClaimType ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea)) (exists (?CLAIM) (and (instance ?CLAIM ?TYPE) (claimedTerritory ?CLAIM ?AREA))))	Geography.kif 983-990	If a kind of maritime claim area is a maritime claim type of a geopolitical area and a kind of maritime claim area is a subclass of maritime claim area, then there exists a geographic area such that the geographic area is an instance of the kind of maritime claim area and the geopolitical area is a claimed territory of the geographic area

consequent

(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))

Geography.kif 919-927