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	The day 20 is a date established of economic community of the great lakes countries
No TPTP formula. May not be expressible in strict first order.	Government.kif 3130-3130	Economic community of the great lakes countries is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3135-3135	Economic integration is an organizational objective of economic community of the great lakes countries

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3132-3132	"CEPGL" is an abbreviation of economic community of the great lakes countries
No TPTP formula. May not be expressible in strict first order.	Government.kif 3131-3131	Economic community of the great lakes countries is a conventional long name of "Economic Community of the Great Lakes Countries"
No TPTP formula. May not be expressible in strict first order.	Government.kif 3133-3133	Economic community of the great lakes countries is a local long name of "Communaute Economique des Pays des Grands Lacs"
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