No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3093-3093 |
Euro dollar is a currency type of cyprus |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1221-1221 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 639-639 |
Developing country is an economy type of cyprus |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 255-255 |
Less developed country is an economy type of cyprus |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 380-380 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 242-242 |
Cyprus is a geographic subregion of middle east region |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 243-243 |
Cyprus is an instance of nation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3165-3165 |
Cyprus is a member of european monetary union |