TreeView Knowledge Base Browser - UnitedNationsHighCommissionerForHumanRights

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3977-3977	联合国人权事务高级专员是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3980-3980	人权问题是联合国人权事务高级专员的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3976-3976	联合国人权事务高级专员是联合国大会 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3979-3979	联合国人权事务高级专员是 "UNHCHR" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3978-3978	联合国人权事务高级专员是 "United Nations High Commissioner for Human Rights" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60128-60128
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60127-60127
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60126-60126