No TPTP formula. May not be expressible in strict first order. |
Government.kif 4279-4279 |
基础设施合作 是 全球邮政联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2674-2674 |
沟通协调 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2686-2686 |
高效的海关管理 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2671-2671 |
能源合作 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2673-2673 |
行业标准 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2672-2672 |
信息标准 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2675-2675 |
知识产权保护 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2676-2676 |
国际海事 是 基础设施合作 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2669-2669 |
运输协调 是 基础设施合作 的 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 |
|