No TPTP formula. May not be expressible in strict first order. |
Government.kif 2858-2858 |
促进贸易和投资 是 亚太经济合作 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3423-3423 |
促进贸易和投资 是 国际商会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47774-47774 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47773-47773 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 47772-47772 |
|