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

Formal Language: 



Term 1: Term 2:

(subclass Raisin PreparedFood) Food.kif 3322-3322 Raisin ist eine teilkategorie von PreparedFood
(subclass Raisin FoodFromPlant) Food.kif 3323-3323 Raisin ist eine teilkategorie von FoodFromPlant


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