TreeView Knowledge Base Browser - UnitedNationsMissionInBosniaAndHerzegovina

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4073-4073	21 Day 是联合国在波黑和黑塞哥维那的使命的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5815-5815
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5677-5677
No TPTP formula. May not be expressible in strict first order.	Government.kif 4070-4070	联合国在波黑和黑塞哥维那的使命是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4075-4075	民警培训是联合国在波黑和黑塞哥维那的使命的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 4076-4076	观察和监测是联合国在波黑和黑塞哥维那的使命的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 4074-4074	支持执法是联合国在波黑和黑塞哥维那的使命的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 4193-4193	联合国在波黑和黑塞哥维那的使命是联合国安理会 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4072-4072	联合国在波黑和黑塞哥维那的使命是 "UNMIBH" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 4071-4071	联合国在波黑和黑塞哥维那的使命是 "United Nations Mission in Bosnia and Herzegovina" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60206-60206
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60205-60205
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60204-60204