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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Keflex

Sigma KEE - Keflex
Keflex(keflex)
Keflex, Keflin, Keftab, cephalexin

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1300-1300
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4757-4757
No TPTP formula. May not be expressible in strict first order. WMD.kif 1299-1299 Keflex is a subclass of oral antibiotic

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32268-32268
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32267-32267
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32266-32266


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