|
|
  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 e' uma instancia de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 137-137 | BouvetIsland e' uma instancia de Ilha |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 138-138 | BouvetIsland encontra SouthAtlanticOcean |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3958-3958 | BouvetIsland se chama nome "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 |
|
|
|
