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

Formal Language: 



Term 1: Term 2:

(subclass Thyroxine BiologicallyActiveSubstance) Medicine.kif 3334-3334 Thyroxine ist eine teilkategorie von BiologicallyActiveSubstance
(subclass Levothyroxine Thyroxine) Medicine.kif 3341-3341 Levothyroxine ist eine teilkategorie von Thyroxine


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