TreeView 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 1023-1026
(subclass MaritimeClaimArea GeographicArea)	Geography.kif 1021-1021	MaritimeClaimArea ist eine teilkategorie von GeographicArea

appearance as argument number 2

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

Die Zahl 2 Argument von maritimeClaimType ist eine teilkategorie von MaritimeClaimArea %n{nicht}

antecedent

(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE))	Geography.kif 998-1003	Wenn GeographicArea ist ein fall von MaritimeClaimArea %n{nicht} und MaritimeClaimArea ist eine teilkategorie von MaritimeClaimArea und claimedTerritory GeographicArea and GeopoliticalArea, dann maritimeClaimType GeopoliticalArea and MaritimeClaimArea
(=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM)))	Geography.kif 983-987	Wenn GeopoliticalArea ist ein fall von LandlockedArea %n{nicht} und MaritimeClaimArea ist eine teilkategorie von MaritimeClaimArea, dann maritimeClaimType GeopoliticalArea and ** MaritimeClaimArea
(=> (and (maritimeClaimType ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea)) (exists (?CLAIM) (and (instance ?CLAIM ?TYPE) (claimedTerritory ?CLAIM ?AREA))))	Geography.kif 989-996	Wenn maritimeClaimType GeopoliticalArea and MaritimeClaimArea und MaritimeClaimArea ist eine teilkategorie von MaritimeClaimArea, dann es gibt GeographicArea um GeographicArea ist ein fall von MaritimeClaimArea %n{nicht} und claimedTerritory GeographicArea and ** GeopoliticalArea

consequent

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

Geography.kif 924-932