TreeView Knowledge Base Browser - SouthernAfricanDevelopmentCommunity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3857-3857	天 17 and 月 August and 年 1992 是南部非洲發展社區的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7937-7937
No TPTP formula. May not be expressible in strict first order.	Government.kif 3852-3852	例南部非洲發展社區 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3859-3859	經濟發展是南部非洲發展社區的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 3858-3858	經濟一體化是南部非洲發展社區的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3854-3854	南部非洲發展社區是 "SADC" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3853-3853	南部非洲發展社區是 "Southern African Development Community" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3856-3856	"SADCC" 是對於南部非洲發展社區的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3855-3855	"Southern African Development Coordination Conference" 是對於南部非洲發展社區的 former name
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54156-54156
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54155-54155
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 54154-54154