TreeView Knowledge Base Browser - UnitedNationsChildrensFund

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3890-3890	11 Day 是联合国儿童基金会的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3886-3886	联合国儿童基金会是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3891-3891	儿童保健服务是联合国儿童基金会的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3948-3948	联合国儿童基金会是联合国大会 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3888-3888	联合国儿童基金会是 "UNICEF" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3887-3887	联合国儿童基金会是 "United Nations Childrens Fund" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3889-3889	"UN International Childrens Emergency Fund" 是对于联合国儿童基金会的 former name
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60074-60074
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60073-60073
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60072-60072