|
|
  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 | 例 托克勞 and 依賴或特殊主權領域 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 655-655 | 例 托克勞 and LandArea |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4223-4223 | 名 "Tokelau" and 托克勞 |
| 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 托克勞 |
|
|
|
