|
|
  NorfolkIsland
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3825-3825 | dependentGeopoliticalArea NorfolkIsland and 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 | geographicSubregion NorfolkIsland and Oceania |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3905-3905 | NorfolkIsland e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 651-651 | NorfolkIsland e' uma instancia de Area terrestre |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4216-4216 | NorfolkIsland se chama nome "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 | codeMapping ISO-3166-1-alpha-2, "NF" and NorfolkIsland |
|
|
|
