No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1216-1216 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 635-635 |
Developing country is an economy type of comoros |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 251-251 |
Less developed country is an economy type of comoros |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 361-361 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 158-158 |
Comoros is a geographic subregion of southern africa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 159-159 |
Comoros is an instance of nation |