No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3269-3269 |
Euro dollar is a currency type of latvia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1276-1276 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 587-587 |
Country in transition is an economy type of latvia |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 550-550 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 300-300 |
Latvia is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 301-301 |
Latvia is an instance of nation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3209-3209 |
Latvia is a member of european monetary union |