TreeView Knowledge Base Browser - UnitedNationsHighCommissionerForHumanRights

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3941-3941	例聯合國人權事務高級專員 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3944-3944	人權問題是聯合國人權事務高級專員的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3940-3940	子組織聯合國人權事務高級專員 and 聯合國大會

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3943-3943	聯合國人權事務高級專員是 "UNHCHR" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3942-3942	聯合國人權事務高級專員是 "United Nations High Commissioner for Human Rights" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60130-60130
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60129-60129
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60128-60128