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 | claimedTerritory の数値 1 引数は 地理的地域 の instance では %n |
(domain claimedTerritory 2 AutonomousAgent) | Geography.kif 965-965 | claimedTerritory の数値 2 引数は AutonomousAgent の instance では %n |
(instance claimedTerritory BinaryPredicate) | Geography.kif 963-963 | claimedTerritory は 2進述語 の instance では %n |
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 は claimedTerritory の subrelation では %n |
(termFormat ChineseLanguage claimedTerritory "声称领土") | domainEnglishFormat.kif 14994-14994 | |
(termFormat ChineseTraditionalLanguage claimedTerritory "聲稱領土") | domainEnglishFormat.kif 14993-14993 | |
(termFormat EnglishLanguage claimedTerritory "claimed territory") | domainEnglishFormat.kif 14992-14992 |
antecedent |
consequent |
appearance as argument number 0 |