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

Formal Language: 



Term 1: Term 2:

(subclass Anesthetizing TherapeuticProcess) Medicine.kif 940-940 Anesthetizing ist eine teilkategorie von TherapeuticProcess
(subclass GeneralAnesthetizing Anesthetizing) Medicine.kif 960-960 GeneralAnesthetizing ist eine teilkategorie von Anesthetizing
(subclass Sedating Anesthetizing) Medicine.kif 977-977 Sedating ist eine teilkategorie von Anesthetizing
(subclass LocalAnesthetizing Anesthetizing) Medicine.kif 994-994 LocalAnesthetizing ist eine teilkategorie von Anesthetizing


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