| PeacekeepingOperation(peacekeeping operation) | | peacekeeping, peacekeeping_mission, peacekeeping_operation |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2628-2628 | Peacekeeping operation is a subattribute of promote regional stability |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2653-2653 | Peacekeeping operation is a subattribute of reducing crime |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4130-4130 | Peacekeeping operation is an organizational objective of united nations peace keeping force in cyprus |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4246-4246 | Peacekeeping operation is an organizational objective of united nations truce supervision organization |
| 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 |
|
|
|