No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3728-3728 |
Anguilla is a dependent of united kingdom |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3729-3729 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 224-224 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 427-427 |
Anguilla is a geographic subregion of caribbean region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3859-3859 |
Anguilla is an instance of dependency or special sovereignty area |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 416-416 |
Anguilla is an instance of land area |