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

Formal Language: 



Term 1: Term 2:

(subclass Soda Beverage) Food.kif 3431-3431 Soda ist eine teilkategorie von Beverage
(subclass Soda Colloid) Food.kif 3432-3432 Soda ist eine teilkategorie von Colloid
(subclass CocaCola Soda) Food.kif 2533-2533 CocaCola ist eine teilkategorie von Soda


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