| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2896-2896 |
金融合作 是 國際結算銀行 的 organizational 目標 |
| No TPTP formula. May not be expressible in strict first order. |
Government.kif 2660-2660 |
子屬性 貨幣聯盟 and 金融合作 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23762-23762 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23761-23761 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23760-23760 |
|
FinancialCooperation