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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BulgarianLev
BulgarianLev(bulgarian lev)
lev

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3667-3667
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3820-3820
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3819-3819
No TPTP formula. May not be expressible in strict first order. Economy.kif 3034-3034 Bulgarian lev is an instance of UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3036-3036 Bulgarian lev is a currency type of bulgaria
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12302-12302
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12301-12301
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12300-12300

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2336-2336 "BGN" in ISO-4217-A denotes bulgarian lev


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