| NorfolkIsland(诺福克岛)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3825-3825 | 诺福克岛 是 澳大利亚 的 dependent |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3826-3826 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 629-629 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 687-687 | 诺福克岛 是 大洋洲 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3905-3905 | 诺福克岛 是 依赖或特殊主权领域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 651-651 | 诺福克岛 是 土地面积 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4216-4216 | 诺福克岛 的名 是 "Norfolk Island" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40923-40923 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40922-40922 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40921-40921 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2870-2870 | "NF" 在 ISO-3166-1-alpha-2 denotes 诺福克岛 |
|
|
|