No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3093-3093 |
歐元 是 塞浦路斯 的 currency 類別 |
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 |
發展中國家 是 塞浦路斯 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 255-255 |
較未發達國家 是 塞浦路斯 的 economy 類別 |
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 |
塞浦路斯 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 243-243 |
例 塞浦路斯 and Nation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3201-3201 |
會員 塞浦路斯 and 歐洲貨幣聯盟 |