|
|
  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 | 例 諾福克島 and 依賴或特殊主權領域 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 651-651 | 例 諾福克島 and LandArea |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4216-4216 | 名 "Norfolk Island" and 諾福克島 |
| 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 諾福克島 |
|
|
|
