UnitedNationsMissionInBosniaAndHerzegovina - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4073-4073	天 21 and 月 December and 年 1995 是聯合國在波黑和黑塞哥維那的使命的成立 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	例聯合國在波黑和黑塞哥維那的使命 and 國際組織
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	子組織聯合國在波黑和黑塞哥維那的使命 and 聯合國安理會

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