No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3413-3413 |
歐元 是 葡萄牙 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1325-1325 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 555-555 |
發達經濟 是 葡萄牙 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 172-172 |
發達國家 是 葡萄牙 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 675-675 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 393-393 |
葡萄牙 是 西南歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 394-394 |
例 葡萄牙 and 歐洲國家 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3214-3214 |
會員 葡萄牙 and 歐洲貨幣聯盟 |