No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3333-3333 |
currencyType Moldova and MoldovanLeu |
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 |
economyType Moldova and CountryInTransition |
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 |
geographicSubregion Moldova and EasternEurope |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 305-305 |
Moldova est une instance de nation |