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 est une instance de DependencyOrSpecialSovereigntyArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 651-651 | NorfolkIsland est une instance de zone de terre |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4216-4216 | NorfolkIsland s'appele nom "Norfolk Island" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40925-40925 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40924-40924 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40923-40923 |
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 |