|
|
  Niue
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3823-3823 | dependentGeopoliticalArea Niue and NewZealand |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3824-3824 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 628-628 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 686-686 | geographicSubregion Niue and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3904-3904 | Niue est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 650-650 | Niue 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 4215-4215 | Niue s'appele nom "Niue" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40653-40653 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40652-40652 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40651-40651 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2869-2869 | codeMapping ISO-3166-1-alpha-2, "NU" and Niue |
|
|
|
