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 |
子屬性 溝通協調 and 基礎設施合作 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2686-2686 |
子屬性 高效的海關管理 and 基礎設施合作 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2671-2671 |
子屬性 能源合作 and 基礎設施合作 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2673-2673 |
子屬性 行業標準 and 基礎設施合作 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2672-2672 |
子屬性 信息標準 and 基礎設施合作 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2675-2675 |
子屬性 知識產權保護 and 基礎設施合作 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2676-2676 |
子屬性 國際海事 and 基礎設施合作 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2669-2669 |
子屬性 運輸協調 and 基礎設施合作 |
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 |
|