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 | 例 紐埃 and 依賴或特殊主權領域 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 650-650 | 例 紐埃 and LandArea |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4215-4215 | 名 "Niue" and 紐埃 |
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 紐埃 |