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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArabBankForEconomicDevelopmentInAfrica
ArabBankForEconomicDevelopmentInAfrica(arab bank for economic development in africa)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2743-2743 The day 18 is a date established of arab bank for economic development in africa
No TPTP formula. May not be expressible in strict first order. Government.kif 2738-2738 Arab bank for economic development in africa is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2744-2744 Economic development is an organizational objective of arab bank for economic development in africa

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 2740-2740 "ABEDA" is an abbreviation of arab bank for economic development in africa
No TPTP formula. May not be expressible in strict first order. Government.kif 2739-2739 Arab bank for economic development in africa is a conventional long name of "Arab Bank for Economic Development in Africa"
No TPTP formula. May not be expressible in strict first order. Government.kif 2741-2741 Arab bank for economic development in africa is a local long name of "Banque Arabe de Developpement Economique en Afrique"
No TPTP formula. May not be expressible in strict first order. Government.kif 2742-2742 Arab bank for economic development in africa is a local short name of "BADEA"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8099-8099
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8098-8098
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8097-8097


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