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

Formal Language: 



Term 1: Term 2:

(subclass Tofu PreparedFood) Food.kif 3508-3508 Tofu ist eine teilkategorie von PreparedFood
(subclass Tofu FoodFromPlant) Food.kif 3509-3509 Tofu 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