| Bermuda
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3009-3009 | currencyType Bermuda and BermudaDollar |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3738-3738 | dependentGeopoliticalArea Bermuda and UnitedKingdom |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3739-3739 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 150-150 | economyType Bermuda and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 275-275 | |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 404-404 | geographicSubregion Bermuda and NorthAmerica |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3864-3864 | Bermuda est une instance de DependencyOrSpecialSovereigntyArea |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 400-400 | Bermuda 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 4078-4078 | Bermuda s'appele nom "Bermuda" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10817-10817 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10816-10816 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10815-10815 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2845-2845 | codeMapping ISO-3166-1-alpha-2, "BM" and Bermuda |
|
|
|