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

Formal Language: 



Term 1: Term 2:

(subclass SalineLock Valve) Medicine.kif 1099-1099 SalineLock ist eine teilkategorie von Valve
(subclass SalineLock MedicalDevice) Medicine.kif 1100-1100 SalineLock ist eine teilkategorie von MedicalDevice


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