No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3815-3815 |
Montserrat is a dependent of united kingdom |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3816-3816 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 603-603 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 452-452 |
Montserrat is a geographic subregion of caribbean region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3900-3900 |
Montserrat is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 422-422 |
Montserrat is an instance of land area |