BouvetIsland |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3740-3740 | dependentGeopoliticalArea BouvetIsland and Norway |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3741-3741 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 285-285 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 157-157 | geographicSubregion BouvetIsland and SouthernAfrica |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3865-3865 | BouvetIsland est une instance de DependencyOrSpecialSovereigntyArea |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 137-137 | BouvetIsland est une instance de �le |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 138-138 | BouvetIsland rencontre SouthAtlanticOcean |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3958-3958 | BouvetIsland s'appele nom "Bouvet Island" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11777-11777 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11776-11776 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11775-11775 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2846-2846 | codeMapping ISO-3166-1-alpha-2, "BV" and BouvetIsland |