TreeView Knowledge Base Browser - OrganizationOfAfricanUnity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3699-3699	天 25 and 月 May and 年 1963 是非洲統一組織的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3701-3703
No TPTP formula. May not be expressible in strict first order.	Government.kif 3695-3695	例非洲統一組織 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3709-3709	文化合作是非洲統一組織的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3705-3705	經濟合作是非洲統一組織的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3708-3708	經濟發展是非洲統一組織的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3706-3706	軍事合作是非洲統一組織的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3710-3710	公共衛生問題是非洲統一組織的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3707-3707	社會發展是非洲統一組織的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3698-3698	非洲統一組織是 "OAU" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3697-3697	非洲統一組織是 "African Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3696-3696	非洲統一組織是 "Organization of African Unity" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42524-42524
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42523-42523
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42522-42522