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 1285-1286
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11577-11577
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10174-10174
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11579-11579
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11578-11578
No TPTP formula. May not be expressible in strict first order. WMD.kif 1284-1284 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 1732-1732 Tuberculosis is disease treatment oral antibiotic for ingesting
No TPTP formula. May not be expressible in strict first order. WMD.kif 1302-1302 Ciprofloxacin is a subclass of oral antibiotic
No TPTP formula. May not be expressible in strict first order. WMD.kif 1296-1296 Doxycycline is a subclass of oral antibiotic
No TPTP formula. May not be expressible in strict first order. WMD.kif 1308-1308 Keflex is a subclass of oral antibiotic
No TPTP formula. May not be expressible in strict first order. WMD.kif 1292-1292 Penicillin is a subclass of oral antibiotic
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42390-42390
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42389-42389
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42388-42388

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1288-1290


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