Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - claimedTerritory
claimedTerritory

appearance as argument number 1
-------------------------


(instance claimedTerritory BinaryPredicate) Geography.kif 2421-2421 claimed territory is an instance of binary predicate
(domain claimedTerritory 1 GeographicArea) Geography.kif 2422-2422 The number 1 argument of claimed territory is an instance of geographic area
(domain claimedTerritory 2 AutonomousAgent) Geography.kif 2423-2423 The number 2 argument of claimed territory is an instance of agent
(documentation claimedTerritory EnglishLanguage "(claimedTerritory ?AREA ?POLITY) means that some right over the GeographicArea ?AREA is claimed by the AutonomousAgent or GeopoliticalArea ?POLITY. If two politically independent states or agents claim the same area, that area is a 'disputed territory'.") Geography.kif 2426-2430 The number 2 argument of claimed territory is an instance of agent

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


(subrelation dependentGeopoliticalArea claimedTerritory) Geography.kif 2424-2424 dependent geopolitical area is a subrelation of claimed territory
(format EnglishLanguage claimedTerritory "%2 is %n a claimed territory of %1") domainEnglishFormat.kif 454-454 dependent geopolitical area is a subrelation of claimed territory
(format ChineseTraditionalLanguage claimedTerritory "%2 %n 是 %1 的 claimed 領土") domainEnglishFormat.kif 455-455 dependent geopolitical area is a subrelation of claimed territory
(format ChineseLanguage claimedTerritory "%2 %n 是 %1 的 claimed 领土") domainEnglishFormat.kif 456-456 dependent geopolitical area is a subrelation of claimed territory
(termFormat EnglishLanguage claimedTerritory "claimed territory") domainEnglishFormat.kif 14994-14994 dependent geopolitical area is a subrelation of claimed territory
(termFormat ChineseTraditionalLanguage claimedTerritory "聲稱領土") domainEnglishFormat.kif 14995-14995 dependent geopolitical area is a subrelation of claimed territory
(termFormat ChineseLanguage claimedTerritory "声称领土") domainEnglishFormat.kif 14996-14996 dependent geopolitical area is a subrelation of claimed territory

antecedent
-------------------------


(=>
    (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
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))		 Geography.kif 2532-2539 If X is an instance of maritime shelf area, Y is an instance of continental shelf, Z is an instance of nation, Y meets Z, and Z is a claimed territory of X, then X and Y overlapsSpatially
(=>
    (and
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))		 Geography.kif 2663-2669 If X is an instance of maritime contiguous zone, Y is a claimed territory of X, Z is an instance of territorial sea, and Y is a claimed territory of Z, then Z is between Y and X

consequent
-------------------------


(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))		 Geography.kif 2382-2390 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
(=>
    (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 GeopoliticalArea)
        (instance
            (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone))
    (claimedTerritory
        (MaritimeContiguousZoneFn ?AREA) ?AREA))		 Geography.kif 2507-2511 If X is an instance of geopolitical area and the maritime contiguous zone of X is an instance of maritime contiguous zone, then X is a claimed territory of the maritime contiguous zone of X
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))		 Geography.kif 2549-2553 If X is an instance of geopolitical area and the maritime shelf area of X is an instance of maritime shelf area, then X is a claimed territory of the maritime shelf area of X
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))		 Geography.kif 2582-2586 If X is an instance of geopolitical area and the maritime exclusive economic zone of X is an instance of maritime exclusive economic zone, then X is a claimed territory of the maritime exclusive economic zone of X
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))		 Geography.kif 2614-2618 If X is an instance of geopolitical area and the exclusive fishing zone of X is an instance of exclusive fishing zone, then X is a claimed territory of the exclusive fishing zone of X
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))		 Geography.kif 2646-2650 If X is an instance of geopolitical area and the extended fishing zone of X is an instance of extended fishing zone, then X is a claimed territory of the extended fishing zone of X
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))		 Geography.kif 2685-2689 If X is an instance of geopolitical area and the territorial sea of X is an instance of territorial sea, then X is a claimed territory of the territorial sea of X

appearance as argument number 0
-------------------------


(claimedTerritory GazaStrip Israel) CountriesAndRegions.kif 3715-3715 Israel is a claimed territory of gaza strip
(claimedTerritory GazaStrip PalestinianLiberationOrganization) CountriesAndRegions.kif 3716-3716 Palestinian liberation organization is a claimed territory of gaza strip
(claimedTerritory ParacelIslands China) CountriesAndRegions.kif 3717-3717 China is a claimed territory of paracel islands
(claimedTerritory ParacelIslands Taiwan) CountriesAndRegions.kif 3718-3718 Taiwan is a claimed territory of paracel islands
(claimedTerritory ParacelIslands Vietnam) CountriesAndRegions.kif 3719-3719 Vietnam is a claimed territory of paracel islands
(claimedTerritory SpratlyIslands China) CountriesAndRegions.kif 3720-3720 China is a claimed territory of spratly islands
(claimedTerritory SpratlyIslands Taiwan) CountriesAndRegions.kif 3721-3721 Taiwan is a claimed territory of spratly islands
(claimedTerritory SpratlyIslands Vietnam) CountriesAndRegions.kif 3722-3722 Vietnam is a claimed territory of spratly islands
(claimedTerritory WestBank Israel) CountriesAndRegions.kif 3723-3723 Israel is a claimed territory of west bank
(claimedTerritory WestBank PalestinianLiberationOrganization) CountriesAndRegions.kif 3724-3724 Palestinian liberation organization is a claimed territory of west bank
(claimedTerritory WesternSahara Morocco) CountriesAndRegions.kif 3725-3725 Morocco is a claimed territory of western sahara
(claimedTerritory Antarctica Argentina) CountriesAndRegions.kif 3923-3923 Argentina is a claimed territory of antarctica
(claimedTerritory Antarctica Australia) CountriesAndRegions.kif 3924-3924 Australia is a claimed territory of antarctica
(claimedTerritory Antarctica Chile) CountriesAndRegions.kif 3925-3925 Chile is a claimed territory of antarctica
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3926-3926 France is a claimed territory of antarctica
(claimedTerritory Antarctica NewZealand) CountriesAndRegions.kif 3927-3927 New zealand is a claimed territory of antarctica
(claimedTerritory Antarctica Norway) CountriesAndRegions.kif 3928-3928 Norway is a claimed territory of antarctica
(claimedTerritory Antarctica UnitedKingdom) CountriesAndRegions.kif 3929-3929 United kingdom is a claimed territory of antarctica


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners