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 |