|
|
  Tokelau
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3844-3844 | Tokelau is a dependent of new zealand |
| 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 | Tokelau is a geographic subregion of oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3916-3916 | Tokelau is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 655-655 | Tokelau is an instance of land area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4223-4223 | Tokelau has name "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" in ISO-3166-1-alpha-2 denotes tokelau |
|
|
|
