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 | Il numero 1 argomenti di claimedTerritory è un istanza di AreaGeografica |
(domain claimedTerritory 2 AutonomousAgent) | Geography.kif 965-965 | Il numero 2 argomenti di claimedTerritory è un istanza di AutonomousAgent |
(instance claimedTerritory BinaryPredicate) | Geography.kif 963-963 | claimedTerritory è un' istanza di PredicatoBinario |
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 | dependentGeopoliticalArea è una sottorelazione di claimedTerritory |
(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 |