Tokelau
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3844-3844 | 托克劳 是 新西兰 的 dependent |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3845-3845 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 784-784 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 697-697 | 托克劳 是 大洋洲 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3916-3916 | 托克劳 是 依赖或特殊主权领域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 655-655 | 托克劳 是 土地面积 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4223-4223 | 托克劳 的名 是 "Tokelau" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58348-58348 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58347-58347 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58346-58346 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2881-2881 | "TK" 在 ISO-3166-1-alpha-2 denotes 托克劳 |