|
|
  MilitaryCooperation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2697-2697 | MilitaryCooperation est une instance de TransnationalIssue |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2837-2837 | organizationalObjective ArabLeague and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2846-2846 | organizationalObjective ArabMaghrebUnion and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3159-3159 | organizationalObjective EuroAtlanticPartnershipCouncil and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3259-3259 | organizationalObjective EuropeanUnion and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3370-3370 | organizationalObjective GulfCooperationCouncil and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3658-3658 | organizationalObjective NonalignedMovement and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3742-3742 | organizationalObjective OrganizationOfAfricanUnity and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3774-3774 | organizationalObjective OrganizationOfEasternCaribbeanStates and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3810-3810 | organizationalObjective PartnershipForPeace and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2698-2698 | MutualDefensePact est un sous-attribut de MilitaryCooperation |
| 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 |
|
|
|