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 and 月 May and 年 1963 是非洲統一組織的成立 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	例非洲統一組織 and 國際組織
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