No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3333-3333 |
Moldovan leu is a currency type of moldova |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1297-1297 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 590-590 |
Country in transition is an economy type of moldova |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 600-600 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 304-304 |
Moldova is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 305-305 |
Moldova is an instance of nation |