No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3289-3289 |
Euro dollar is a currency type of lithuania |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1282-1282 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 588-588 |
Country in transition is an economy type of lithuania |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 561-561 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 302-302 |
Lithuania is a geographic subregion of eastern europe |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 303-303 |
Lithuania is an instance of nation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3210-3210 |
Lithuania is a member of european monetary union |