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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InterAmericanDevelopmentBank
InterAmericanDevelopmentBank(inter american development bank)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3366-3366 The day 8 is a date established of inter american development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 3361-3361 Inter american development bank is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3367-3367 Economic development is an organizational objective of inter american development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 3368-3368 Social development is an organizational objective of inter american development bank

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3363-3363 "IADB" is an abbreviation of inter american development bank
No TPTP formula. May not be expressible in strict first order. Government.kif 3362-3362 Inter american development bank is a conventional long name of "Inter-American Development Bank"
No TPTP formula. May not be expressible in strict first order. Government.kif 3364-3364 Inter american development bank is a local long name of "Banco Interamericano de Desarrollo"
No TPTP formula. May not be expressible in strict first order. Government.kif 3365-3365 Inter american development bank is a local short name of "BID"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30378-30378
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30377-30377
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30376-30376


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