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 2773-2773 The day 18 of month the month February 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 2768-2768 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 2774-2774 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 2770-2770 "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 2769-2769 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 2771-2771 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 2772-2772 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 8089-8089 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 8088-8088 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 8087-8087 Arab bank for economic development in africa is a local short name of "BADEA"


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