dependentGeopoliticalArea |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage dependentGeopoliticalArea "%1 是 %2 的 dependent ") | domainEnglishFormat.kif 3230-3230 | |
(format ChineseTraditionalLanguage dependentGeopoliticalArea "%1 是 %2 的 dependent ") | domainEnglishFormat.kif 3229-3229 | |
(format EnglishLanguage dependentGeopoliticalArea "%1 is a dependent of %2") | domainEnglishFormat.kif 3228-3228 | |
(termFormat ChineseLanguage dependentGeopoliticalArea "依赖的地缘政治区域") | domainEnglishFormat.kif 19128-19128 | |
(termFormat ChineseTraditionalLanguage dependentGeopoliticalArea "依賴的地緣政治區域") | domainEnglishFormat.kif 19127-19127 | |
(termFormat EnglishLanguage dependentGeopoliticalArea "dependent geopolitical area") | domainEnglishFormat.kif 19126-19126 |
antecedent |
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (not (geopoliticalSubdivision ?AREA ?COUNTRY))) |
Government.kif 441-444 | |
(=> (dependentGeopoliticalArea ?AREA ?COUNTRY) (possesses ?COUNTRY ?AREA)) |
Government.kif 433-435 |
|
consequent |
appearance as argument number 0 |