| 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 |
共同防御协定 是 军事合作 的 subAttribute |
| 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 |
|
MilitaryCooperation