Antibiotic
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9695-9696 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4504-4504 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9694-9694 | Antibiotic is a subclass of biologically active substance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1579-1579 | Pertussis is disease treatment antibiotic for ingesting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1359-1359 | Typhoid fever is disease treatment antibiotic for ingesting |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1355-1355 | Carbapenem antibiotic is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1964-1964 | Cephalosporin is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3583-3583 | Clarithromycin is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3800-3800 | Doxycycline is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1342-1342 | Injected antibiotic is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1284-1284 | Oral antibiotic is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1311-1311 | Topical antibiotic is a subclass of antibiotic |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7842-7842 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7841-7841 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7840-7840 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1274-1276 |
|
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1264-1272 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9698-9703 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1278-1282 |
|