TreeView Knowledge Base Browser

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

(subclass InjectedAntibiotic Antibiotic)	Medicine.kif 1325-1325	Injected antibiotic is a subclass of antibiotic
(subclass CarbapenemAntibiotic Antibiotic)	Medicine.kif 1338-1338	Carbapenem antibiotic is a subclass of antibiotic
(subclass Cephalosporin Antibiotic)	Medicine.kif 1950-1950	Cephalosporin is a subclass of antibiotic
(subclass Clarithromycin Antibiotic)	Medicine.kif 3614-3614	Clarithromycin is a subclass of antibiotic
(subclass Doxycycline Antibiotic)	Medicine.kif 3834-3834	Doxycycline is a subclass of antibiotic
(subclass OralAntibiotic Antibiotic)	WMD.kif 1280-1280	Oral antibiotic is a subclass of antibiotic
(subclass TopicalAntibiotic Antibiotic)	WMD.kif 1307-1307	Topical antibiotic is a subclass of antibiotic
(diseaseMedicine TyphoidFever Antibiotic Ingesting)	WMD.kif 1355-1355	Typhoid fever is disease treatment antibiotic for ingesting
(diseaseMedicine Pertussis Antibiotic Ingesting)	WMD.kif 1575-1575	Pertussis is disease treatment antibiotic for ingesting
(termFormat EnglishLanguage Antibiotic "antibiotic")	domainEnglishFormat.kif 7840-7840	Pertussis is disease treatment antibiotic for ingesting
(termFormat ChineseTraditionalLanguage Antibiotic "抗生素")	domainEnglishFormat.kif 7841-7841	Pertussis is disease treatment antibiotic for ingesting
(termFormat ChineseLanguage Antibiotic "抗生素")	domainEnglishFormat.kif 7842-7842	Pertussis is disease treatment antibiotic for ingesting

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))))

If X is an instance of viral disease, then there exists Y such that X isn't disease treatment antibiotic for Y