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 ist eine teilkategorie von BiologicallyActiveSubstance
(subclass OralAntibiotic Antibiotic) WMD.kif 1284-1284 OralAntibiotic ist eine teilkategorie von Antibiotic
(subclass TopicalAntibiotic Antibiotic) WMD.kif 1311-1311 TopicalAntibiotic ist eine teilkategorie von Antibiotic
(subclass InjectedAntibiotic Antibiotic) Medicine.kif 1342-1342 InjectedAntibiotic ist eine teilkategorie von Antibiotic
(subclass CarbapenemAntibiotic Antibiotic) Medicine.kif 1355-1355 CarbapenemAntibiotic ist eine teilkategorie von Antibiotic
(subclass Cephalosporin Antibiotic) Medicine.kif 1964-1964 Cephalosporin ist eine teilkategorie von Antibiotic
(subclass Clarithromycin Antibiotic) Medicine.kif 3583-3583 Clarithromycin ist eine teilkategorie von Antibiotic
(subclass Doxycycline Antibiotic) Medicine.kif 3800-3800 Doxycycline ist eine teilkategorie von Antibiotic


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