No TPTP formula. May not be expressible in strict first order. |
Government.kif 2874-2874 |
經濟政策協調 是 大七 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3744-3744 |
經濟政策協調 是 石油輸出國組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2622-2622 |
子屬性 協調信貸政策 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 |
|