| Niue(纽埃)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3823-3823 | 纽埃 是 新西兰 的 dependent |
| 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 | 纽埃 是 大洋洲 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3904-3904 | 纽埃 是 依赖或特殊主权领域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 650-650 | 纽埃 是 土地面积 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4215-4215 | 纽埃 的名 是 "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 | "NU" 在 ISO-3166-1-alpha-2 denotes 纽埃 |
|
|
|