No TPTP formula. May not be expressible in strict first order. |
Government.kif 3903-3903 |
国际贸易支持 是 联合国贸易与发展会议 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2685-2685 |
高效的海关管理 是 国际贸易支持 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2684-2684 |
促进自由贸易 是 国际贸易支持 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2683-2683 |
促进贸易和投资 是 国际贸易支持 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30709-30709 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30708-30708 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30707-30707 |
|