No TPTP formula. May not be expressible in strict first order. |
Government.kif 3197-3197 |
貨幣聯盟 是 歐洲貨幣聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3256-3256 |
貨幣聯盟 是 歐洲聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3273-3273 |
貨幣聯盟 是 法郎區 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38349-38349 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38348-38348 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38347-38347 |
|