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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CentralAfricanStatesDevelopmentBank

Sigma KEE - CentralAfricanStatesDevelopmentBank
CentralAfricanStatesDevelopmentBank(central african states development bank)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2943-2943 The day 3 is a date established of central african states development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2939-2939 Central african states development bank is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 2944-2944 Economic development is an organizational objective of central african states development bank

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2941-2941 "BDEAC" is an abbreviation of central african states development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 2940-2940 Central african states development bank is a conventional long name of "Central African States Development Bank"
No TPTP formula. May not be expressible in strict first order. Government.kif 2942-2942 Central african states development bank is a local long name of "Banque de Developpement des Etats de l'Afrique Centrale"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13788-13788
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13787-13787
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13786-13786


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

Show without tree


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