Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Antibiotic(antibiotic)
|  | Achromycin, Aureomycin, Azactam, Cefobid, Chloromycetin, Claforan, E-Mycin, Erythrocin, Ethril, Fortaz, Garamycin, Ilosone, Kafocin, Kantrex, Lincocin, Mefoxin, Minocin, Mutamycin, Mycostatin, Nebcin, Neobiotic, Nystan, Pediamycin, Primaxin, Rocephin, Tazicef, Terramycin, Ultracef, Vancocin, Zithromax, actinomycin, amphotericin, antibacterial, antibacterial_drug, antibiotic, antibiotic_drug, antimycin, antineoplastic_antibiotic, azithromycin, aztreonam, bactericide, carbomycin, cefadroxil, cefoperazone, cefotaxime, ceftazidime, ceftriaxone, cephaloglycin, cephaloridine, cephalosporin... |
| appearance as argument number 1 |
|
|
| (subclass Antibiotic BiologicallyActiveSubstance) | Mid-level-ontology.kif 11133-11133 | Antibiotic is a subclass of biologically active substance |
| (documentation Antibiotic EnglishLanguage "A BiologicallyActiveSubstance than can kill instances of Bacterium.") | Mid-level-ontology.kif 11134-11135 | Antibiotic is a subclass of biologically active substance |
| (externalImage Antibiotic "http://upload.wikimedia.org/wikipedia/commons/ 8/ 81/ Amoxicilline.png") | pictureList.kif 4503-4503 | Antibiotic is a subclass of biologically active substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (subclass ?A Antibiotic) (exists (?D) (and (instance ?D BacterialDisease) (medicine ?A ?D)))) |
Mid-level-ontology.kif 11137-11142 | If X is a subclass of antibiotic, then there exists Y such that Y is an instance of bacterial disease and X is medicine for Y |
| (=> (instance ?ANTIBIOTIC Antibiotic) (exists (?KILL ?BACTERIUM) (capability (KappaFn ?KILL (and (instance ?KILL Killing) (patient ?KILL ?BACTERIUM) (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC))) |
WMD.kif 1260-1268 | If X is an instance of antibiotic, then there exist Y and Z such that X is capable of doing the class described by Y as a agent |
| (=> (diseaseMedicine ?DISEASE Antibiotic ?PROCESS) (instance ?DISEASE BacterialDisease)) |
WMD.kif 1270-1272 | If X is disease treatment antibiotic for Y, then X is an instance of bacterial disease |
| consequent |
|
|
| (=> (instance ?DISEASE ViralDisease) (exists (?PROCESS) (not (diseaseMedicine ?DISEASE Antibiotic ?PROCESS)))) |
WMD.kif 1274-1278 | If X is an instance of viral disease, then there exists Y such that X isn't disease treatment antibiotic for Y |
|