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

Formal Language: 



Term 1: Term 2:

(subclass Bacon Pork) Food.kif 2136-2136 Bacon ist eine teilkategorie von Pork
(subclass Bacon CuredMeat) Food.kif 2137-2137 Bacon ist eine teilkategorie von CuredMeat


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