Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (subclass ?A Antibiotic)
    (exists (?D)
        (and
            (instance ?D BacterialDisease)
            (medicine ?A ?D))))
Mid-level-ontology.kif 9671-9676
(subclass Antibiotic BiologicallyActiveSubstance) Mid-level-ontology.kif 9667-9667 Antibiotic生物活性物質subclass では %n
(subclass OralAntibiotic Antibiotic) WMD.kif 1284-1284 OralAntibioticAntibioticsubclass では %n
(subclass TopicalAntibiotic Antibiotic) WMD.kif 1311-1311 TopicalAntibioticAntibioticsubclass では %n
(subclass InjectedAntibiotic Antibiotic) Medicine.kif 1342-1342 InjectedAntibioticAntibioticsubclass では %n
(subclass CarbapenemAntibiotic Antibiotic) Medicine.kif 1355-1355 CarbapenemAntibioticAntibioticsubclass では %n
(subclass Cephalosporin Antibiotic) Medicine.kif 1964-1964 CephalosporinAntibioticsubclass では %n
(subclass Clarithromycin Antibiotic) Medicine.kif 3583-3583 ClarithromycinAntibioticsubclass では %n
(subclass Doxycycline Antibiotic) Medicine.kif 3800-3800 DoxycyclineAntibioticsubclass では %n


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