No TPTP formula. May not be expressible in strict first order. |
Government.kif 2910-2910 |
經濟政策協調 是 大七 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3780-3780 |
經濟政策協調 是 石油輸出國組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2658-2658 |
子屬性 協調信貸政策 and 經濟政策協調 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21174-21174 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21173-21173 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21172-21172 |
|