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

Formal Language: 



Term 1: Term 2:

(subclass CowMilk Milk) Food.kif 2841-2841 CowMilk ist eine teilkategorie von Milk
(subclass ProcessedMilk CowMilk) Food.kif 2828-2828 ProcessedMilk ist eine teilkategorie von CowMilk


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