| Bermuda(bermuda)
| | Bermuda, Bermudas |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3346-3346 | Bermuda dollar is a currency type of bermuda |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3738-3738 | Bermuda is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3739-3739 | Bermuda is a dependent of united kingdom |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 150-150 | Developed country is an economy type of bermuda |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 275-275 | Developed country is an economy type of bermuda |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 404-404 | Bermuda is a geographic subregion of north america |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3864-3864 | Bermuda is an instance of dependency or special sovereignty area |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 400-400 | Bermuda is an instance of land area |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4078-4078 | Bermuda has name "Bermuda" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10830-10830 | Bermuda has name "Bermuda" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10829-10829 | Bermuda has name "Bermuda" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10828-10828 | Bermuda has name "Bermuda" |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2847-2847 | "BM" in ISO_3166_1_alpha_2 denotes bermuda |
|
|
|