No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1288-1288 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 676-676 |
Developing country is an economy type of maldives |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 292-292 |
Less developed country is an economy type of maldives |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 574-574 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 576-576 |
Maldives is a geographic subregion of southern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 577-577 |
Maldives is an instance of nation |