No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3009-3009 |
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 |
|
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 |
|
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 |