PeacekeepingOperation
|
|
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 |