TreeView Knowledge Base Browser

appearance as argument number 3

(domainSubclass maritimeClaimType 2 MaritimeClaimArea)

antecedent

(=> (and (instance ?AREA LandlockedArea) (subclass ?CLAIM MaritimeClaimArea)) (not (maritimeClaimType ?AREA ?CLAIM)))	Geography.kif 2440-2444	If X is an instance of landlocked area and Y is a subclass of maritime claim area, then Y is not a maritime claim type of X
(=> (and (maritimeClaimType ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea)) (exists (?CLAIM) (and (instance ?CLAIM ?TYPE) (claimedTerritory ?CLAIM ?AREA))))	Geography.kif 2446-2453	If X is a maritime claim type of Y and X is a subclass of maritime claim area, then there exists Z such that Z is an instance of X and Y is a claimed territory of Z
(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE))	Geography.kif 2455-2460	If X is an instance of Y, Y is a subclass of maritime claim area, and Z is a claimed territory of X, then Y is a maritime claim type of Z

consequent

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

If X is an instance of landlocked area and X is an instance of geopolitical area, then there doesn't exist Y such that Y is an instance of maritime claim area and X is a claimed territory of Y

(subclass MaritimeClaimArea GeographicArea)	Geography.kif 2478-2478	Maritime claim area is a subclass of geographic area
(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 2480-2483	Maritime claim area is a subclass of geographic area

(subclass MaritimeContiguousZone MaritimeClaimArea)	Geography.kif 2487-2487	Maritime contiguous zone is a subclass of maritime claim area
(subclass MaritimeShelfArea MaritimeClaimArea)	Geography.kif 2514-2514	Maritime shelf area is a subclass of maritime claim area
(subclass MaritimeExclusiveEconomicZone MaritimeClaimArea)	Geography.kif 2556-2556	Maritime exclusive economic zone is a subclass of maritime claim area
(subclass ExclusiveFishingZone MaritimeClaimArea)	Geography.kif 2589-2589	Exclusive fishing zone is a subclass of maritime claim area
(subclass ExtendedFishingZone MaritimeClaimArea)	Geography.kif 2621-2621	Extended fishing zone is a subclass of maritime claim area
(subclass TerritorialSea MaritimeClaimArea)	Geography.kif 2653-2653	Territorial sea is a subclass of maritime claim area
(termFormat EnglishLanguage MaritimeClaimArea "maritime claim area")	domainEnglishFormat.kif 36191-36191	Territorial sea is a subclass of maritime claim area
(termFormat ChineseTraditionalLanguage MaritimeClaimArea "海事索賠區")	domainEnglishFormat.kif 36192-36192	Territorial sea is a subclass of maritime claim area
(termFormat ChineseLanguage MaritimeClaimArea "海事索赔区")	domainEnglishFormat.kif 36193-36193	Territorial sea is a subclass of maritime claim area