TreeView Knowledge Base Browser - OrganizationOfAfricanUnity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3735-3735	25 Day 是非洲统一组织的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3737-3739
No TPTP formula. May not be expressible in strict first order.	Government.kif 3731-3731	非洲统一组织是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3745-3745	文化合作是非洲统一组织的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3741-3741	经济合作是非洲统一组织的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3744-3744	经济发展是非洲统一组织的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3742-3742	军事合作是非洲统一组织的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3746-3746	公共卫生问题是非洲统一组织的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3743-3743	社会发展是非洲统一组织的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3734-3734	非洲统一组织是 "OAU" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3733-3733	非洲统一组织是 "African Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3732-3732	非洲统一组织是 "Organization of African Unity" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42522-42522
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42521-42521
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42520-42520