|
|
  NorfolkIsland
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3825-3825 | Norfolk island is a dependent of australia |
| 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 | Norfolk island is a geographic subregion of oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3905-3905 | Norfolk island is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 651-651 | Norfolk island is an instance of land area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4216-4216 | Norfolk island has name "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" in ISO-3166-1-alpha-2 denotes norfolk island |
|
|
|
