TreeView Knowledge Base Browser - UnitedNationsEducationalScientificAndCulturalOrganization

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3890-3890	16 Day 是联合国教育科学文化组织的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5810-5810
No TPTP formula. May not be expressible in strict first order.	Government.kif 3887-3887	联合国教育科学文化组织是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3892-3892	文化合作是联合国教育科学文化组织的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3893-3893	教育合作是联合国教育科学文化组织的 organizational 目标
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 3084-3084	联合国教育科学文化组织是经济和社会理事会 Organization 的一部分

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3889-3889	联合国教育科学文化组织是 "UNESCO" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3888-3888	联合国教育科学文化组织是 "United Nations Educational, Scientific, and Cultural Organization" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60112-60112
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60111-60111
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60110-60110