TreeView Knowledge Base Browser - UnitedNationsCenterForHumanSettlements

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3967-3967	联合国人类住区中心是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3972-3972	改善人类住区条件是联合国人类住区中心的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3974-3974	促进可持续发展是联合国人类住区中心的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3973-3973	减少贫困是联合国人类住区中心的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3966-3966	联合国人类住区中心是联合国大会 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3969-3969	联合国人类住区中心是 "UN-HABITAT" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3968-3968	联合国人类住区中心是 "United Nations Center for Human Settlements" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3971-3971	"Habitat" 是对于联合国人类住区中心的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3970-3970	"UNCHS" 是对于联合国人类住区中心的 former name
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60068-60068
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60067-60067
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60066-60066