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 968-972 | |
(domain claimedTerritory 1 GeographicArea) | Geography.kif 964-964 | 声称领土 的 1 数量 是 地理区域 的 instance |
(domain claimedTerritory 2 AutonomousAgent) | Geography.kif 965-965 | 声称领土 的 2 数量 是 施事体 的 instance |
(instance claimedTerritory BinaryPredicate) | Geography.kif 963-963 | 声称领土 是 二元谓语 的 instance |
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 966-966 | 依赖的地缘政治区域 是 声称领土 的 subrelation |
(termFormat ChineseLanguage claimedTerritory "声称领土") | domainEnglishFormat.kif 14994-14994 | |
(termFormat ChineseTraditionalLanguage claimedTerritory "聲稱領土") | domainEnglishFormat.kif 14993-14993 | |
(termFormat EnglishLanguage claimedTerritory "claimed territory") | domainEnglishFormat.kif 14992-14992 |
antecedent |
(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE)) |
Geography.kif 998-1003 | |
(=> (and (instance ?ZONE MaritimeContiguousZone) (claimedTerritory ?ZONE ?AREA) (instance ?WATER TerritorialSea) (claimedTerritory ?WATER ?AREA)) (between ?AREA ?WATER ?ZONE)) |
Geography.kif 1206-1212 | |
(=> (and (instance ?zone MaritimeShelfArea) (instance ?shelf ContinentalShelf) (instance ?country Nation) (meetsSpatially ?shelf ?country) (claimedTerritory ?zone ?country)) (overlapsSpatially ?zone ?shelf)) |
Geography.kif 1075-1082 |
consequent |
appearance as argument number 0 |