TreeView Knowledge Base Browser - EconomicCommunityOfTheGreatLakesCountries

appearance as argument number 1

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3096-3096	大湖國家的經濟共同體是 "CEPGL" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3095-3095	大湖國家的經濟共同體是 "Economic Community of the Great Lakes Countries" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3097-3097	大湖國家的經濟共同體是 "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