claimedTerritory |
appearance as argument number 1 |
![]() |
(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 963-967 | |
(domain claimedTerritory 1 GeographicArea) | Geography.kif 959-959 | |
(domain claimedTerritory 2 AutonomousAgent) | Geography.kif 960-960 | |
(instance claimedTerritory BinaryPredicate) | Geography.kif 958-958 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage claimedTerritory "%2 %n 是 %1 的 claimed 领土") | domainEnglishFormat.kif 456-456 | |
(format ChineseTraditionalLanguage claimedTerritory "%2 %n 是 %1 的 claimed 領土") | domainEnglishFormat.kif 455-455 | |
(format EnglishLanguage claimedTerritory "%2 is %n a claimed territory of %1") | domainEnglishFormat.kif 454-454 | |
(subrelation dependentGeopoliticalArea claimedTerritory) | Geography.kif 961-961 | |
(termFormat ChineseLanguage claimedTerritory "声称领土") | domainEnglishFormat.kif 15005-15005 | |
(termFormat ChineseTraditionalLanguage claimedTerritory "聲稱領土") | domainEnglishFormat.kif 15004-15004 | |
(termFormat EnglishLanguage claimedTerritory "claimed territory") | domainEnglishFormat.kif 15003-15003 |
antecedent |
![]() |
(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE)) |
Geography.kif 992-997 | |
(=> (and (instance ?ZONE MaritimeContiguousZone) (claimedTerritory ?ZONE ?AREA) (instance ?WATER TerritorialSea) (claimedTerritory ?WATER ?AREA)) (between ?AREA ?WATER ?ZONE)) |
Geography.kif 1200-1206 | |
(=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?country)) (overlapsSpatially ?zone ?shelf)) |
Geography.kif 1069-1076 |
consequent |
![]() |
appearance as argument number 0 |
![]() |
(claimedTerritory Antarctica Argentina) | CountriesAndRegions.kif 3923-3923 | |
(claimedTerritory Antarctica Australia) | CountriesAndRegions.kif 3924-3924 | |
(claimedTerritory Antarctica Chile) | CountriesAndRegions.kif 3925-3925 | |
(claimedTerritory Antarctica France) | CountriesAndRegions.kif 3926-3926 | |
(claimedTerritory Antarctica NewZealand) | CountriesAndRegions.kif 3927-3927 | |
(claimedTerritory Antarctica Norway) | CountriesAndRegions.kif 3928-3928 | |
(claimedTerritory Antarctica UnitedKingdom) | CountriesAndRegions.kif 3929-3929 | |
(claimedTerritory GazaStrip Israel) | CountriesAndRegions.kif 3715-3715 | |
(claimedTerritory GazaStrip PalestinianLiberationOrganization) | CountriesAndRegions.kif 3716-3716 | |
(claimedTerritory ParacelIslands China) | CountriesAndRegions.kif 3717-3717 | |
(claimedTerritory ParacelIslands Taiwan) | CountriesAndRegions.kif 3718-3718 | |
(claimedTerritory ParacelIslands Vietnam) | CountriesAndRegions.kif 3719-3719 | |
(claimedTerritory SpratlyIslands China) | CountriesAndRegions.kif 3720-3720 | |
(claimedTerritory SpratlyIslands Taiwan) | CountriesAndRegions.kif 3721-3721 | |
(claimedTerritory SpratlyIslands Vietnam) | CountriesAndRegions.kif 3722-3722 | |
(claimedTerritory WestBank Israel) | CountriesAndRegions.kif 3723-3723 | |
(claimedTerritory WestBank PalestinianLiberationOrganization) | CountriesAndRegions.kif 3724-3724 | |
(claimedTerritory WesternSahara Morocco) | CountriesAndRegions.kif 3725-3725 |
![]() |
![]() |