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

Formal Language: 



Term 1: Term 2:

(=>
    (diseaseMedicine ?DISEASE TopicalAntibiotic ?PROCESS)
    (subclass ?PROCESS Covering))		 WMD.kif 1315-1317
(subclass TopicalAntibiotic Antibiotic) WMD.kif 1311-1311 TopicalAntibiotic ist eine teilkategorie von Antibiotic
(subclass Bacitracin TopicalAntibiotic) WMD.kif 1319-1319 Bacitracin ist eine teilkategorie von TopicalAntibiotic


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