|
|
  MilitaryCooperation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2661-2661 | MilitaryCooperation e' uma instancia de TransnationalIssue |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2801-2801 | organizationalObjective ArabLeague and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2810-2810 | organizationalObjective ArabMaghrebUnion and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3123-3123 | organizationalObjective EuroAtlanticPartnershipCouncil and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3223-3223 | organizationalObjective EuropeanUnion and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3334-3334 | organizationalObjective GulfCooperationCouncil and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3622-3622 | organizationalObjective NonalignedMovement and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3706-3706 | organizationalObjective OrganizationOfAfricanUnity and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3738-3738 | organizationalObjective OrganizationOfEasternCaribbeanStates and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3774-3774 | organizationalObjective PartnershipForPeace and MilitaryCooperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2662-2662 | MutualDefensePact e' um sub-atributo 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 |
|
|
|