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

Formal Language: 



Term 1: Term 2:

(subclass GoatMilk Milk) Food.kif 3038-3038 GoatMilk ist eine teilkategorie von Milk
(subclass ProcessedGoatMilk GoatMilk) Food.kif 3044-3044 ProcessedGoatMilk ist eine teilkategorie von GoatMilk


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