No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1291-1291 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 679-679 |
Developing country is an economy type of marshall islands |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 295-295 |
Less developed country is an economy type of marshall islands |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 581-581 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 676-676 |
Marshall islands is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 677-677 |
Marshall islands is an instance of nation |