|
|
  Tokelau
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3844-3844 | dependentGeopoliticalArea Tokelau and NewZealand |
| 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 | geographicSubregion Tokelau and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3916-3916 | Tokelau est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 655-655 | Tokelau est une instance de zone de terre |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4223-4223 | Tokelau s'appele nom "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 | codeMapping ISO-3166-1-alpha-2, "TK" and Tokelau |
|
|
|
