Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EconomicCommunityOfTheGreatLakesCountries
EconomicCommunityOfTheGreatLakesCountries(economic community of the great lakes countries)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3115-3115 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 3111-3111 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 3116-3116 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 3113-3113 "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 3112-3112 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 3114-3114 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 21117-21117
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21116-21116
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21115-21115


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners