|
|
  PeacekeepingOperation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2628-2628 | PeacekeepingOperation e' um sub-atributo de PromoteRegionalStability |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2653-2653 | PeacekeepingOperation e' um sub-atributo de ReducingCrime |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4130-4130 | organizationalObjective UnitedNationsPeaceKeepingForceInCyprus and PeacekeepingOperation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4246-4246 | organizationalObjective UnitedNationsTruceSupervisionOrganization and PeacekeepingOperation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44916-44916 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44915-44915 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44914-44914 |
|
|
|