No TPTP formula. May not be expressible in strict first order. |
Government.kif 2860-2860 |
金融合作 是 国际结算银行 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2624-2624 |
货币联盟 是 金融合作 的 subAttribute |
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 |
|