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

Formal Language: 



Term 1: Term 2:

(subclass Melon Fruit) Food.kif 2290-2290 Melon ist eine teilkategorie von Fruit
(subclass Watermelon Melon) Food.kif 2292-2292 Watermelon ist eine teilkategorie von Melon


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