TreeView Knowledge Base Browser - PeacekeepingOperation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2628-2628	子屬性維和行動 and 促進地區穩定
No TPTP formula. May not be expressible in strict first order.	Government.kif 2653-2653	子屬性維和行動 and 減少犯罪

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4130-4130	維和行動是聯合國塞浦路斯維和部隊的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 4246-4246	維和行動是聯合國停戰監督組織的 organizational 目標
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