No TPTP formula. May not be expressible in strict first order. |
Government.kif 4243-4243 |
基础设施合作 是 全球邮政联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2638-2638 |
沟通协调 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2650-2650 |
高效的海关管理 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2635-2635 |
能源合作 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2637-2637 |
行业标准 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2636-2636 |
信息标准 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2639-2639 |
知识产权保护 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2640-2640 |
国际海事 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2633-2633 |
运输协调 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30067-30067 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30066-30066 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30065-30065 |
|