No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1348-1348 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 710-710 |
Developing country is an economy type of solomon islands |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 326-326 |
Less developed country is an economy type of solomon islands |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 743-743 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 695-695 |
Solomon islands is a geographic subregion of oceania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 696-696 |
Solomon islands is an instance of nation |