|
|
  BouvetIsland
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3740-3740 | Bouvet island is a dependent of 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 | Bouvet island is a geographic subregion of southern africa |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3865-3865 | Bouvet island is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 137-137 | Bouvet island is an instance of island |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 138-138 | Bouvet island meets south atlantic ocean |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3958-3958 | Bouvet island has name "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 | "BV" in ISO-3166-1-alpha-2 denotes bouvet island |
|
|
|
