No TPTP formula. May not be expressible in strict first order. |
Government.kif 3161-3161 |
貨幣聯盟 是 歐洲貨幣聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3220-3220 |
貨幣聯盟 是 歐洲聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3237-3237 |
貨幣聯盟 是 法郎區 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38351-38351 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38350-38350 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38349-38349 |
|