No TPTP formula. May not be expressible in strict first order. |
Government.kif 2837-2837 |
軍事合作 是 阿拉伯聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2846-2846 |
軍事合作 是 阿拉伯馬格里布聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3159-3159 |
軍事合作 是 歐洲大西洋夥伴關係委員會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3259-3259 |
軍事合作 是 歐洲聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3370-3370 |
軍事合作 是 海灣合作委員會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3658-3658 |
軍事合作 是 不對齊的運動 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3742-3742 |
軍事合作 是 非洲統一組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3774-3774 |
軍事合作 是 加勒比東部各州的組織 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3810-3810 |
軍事合作 是 和平夥伴關係 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2698-2698 |
子屬性 共同防禦協定 and 軍事合作 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37577-37577 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37576-37576 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37575-37575 |
|