TreeView Knowledge Base Browser - EconomicCommunityOfTheGreatLakesCountries

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3134-3134	天 20 and 月 September and 年 1976 是大湖國家的經濟共同體的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3130-3130	例大湖國家的經濟共同體 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3135-3135	經濟一體化是大湖國家的經濟共同體的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3132-3132	大湖國家的經濟共同體是 "CEPGL" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3131-3131	大湖國家的經濟共同體是 "Economic Community of the Great Lakes Countries" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3133-3133	大湖國家的經濟共同體是 "Communaute Economique des Pays des Grands Lacs" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21126-21126
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21125-21125
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21124-21124