TreeView Knowledge Base Browser - UnitedNationsCivilianPoliceMissionInHaiti

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3896-3896	28 Day 是联合国海地民警特派团的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3893-3893	联合国海地民警特派团是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3897-3897	民警培训是联合国海地民警特派团的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3895-3895	联合国海地民警特派团是 "MIPONUH" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3894-3894	联合国海地民警特派团是 "United Nations Civilian Police Mission in Haiti" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60080-60080
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60079-60079
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60078-60078