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 Day 是大湖国家的经济共同体的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3130-3130	大湖国家的经济共同体是国际组织的 instance
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