No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3293-3293 |
歐元 是 盧森堡 的 currency 類別 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1283-1283 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 551-551 |
發達經濟 是 盧森堡 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 165-165 |
發達國家 是 盧森堡 的 economy 類別 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 566-566 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 356-356 |
盧森堡 是 西歐 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 357-357 |
例 盧森堡 and Nation |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2905-2905 |
會員 盧森堡 and 比荷盧經濟聯盟 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3211-3211 |
會員 盧森堡 and 歐洲貨幣聯盟 |