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 |