|
|
  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 58346-58346 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58345-58345 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58344-58344 |
| 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 托克劳 |
|
|
|
