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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OralAntibiotic

Sigma KEE - OralAntibiotic
OralAntibiotic(oral antibiotic)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1276-1277
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11593-11593
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10184-10184
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11595-11595
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11594-11594
No TPTP formula. May not be expressible in strict first order. WMD.kif 1275-1275 Oral antibiotic is a subclass of antibiotic

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 273-273 Louse borne typhus is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 261-261 Rocky mountain spotted fever is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1723-1723 Tuberculosis is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1293-1293 Ciprofloxacin is a subclass of oral antibiotic
No TPTP formula. May not be expressible in strict first order. WMD.kif 1287-1287 Doxycycline is a subclass of oral antibiotic
No TPTP formula. May not be expressible in strict first order. WMD.kif 1299-1299 Keflex is a subclass of oral antibiotic
No TPTP formula. May not be expressible in strict first order. WMD.kif 1283-1283 Penicillin is a subclass of oral antibiotic
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42367-42367
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42366-42366
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42365-42365

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1279-1281


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