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	维和行动是促进地区稳定的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2653-2653	维和行动是减少犯罪的 subAttribute

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