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

Formal Language: 



Term 1: Term 2:

(subclass Eating Ingesting) Merge.kif 10260-10260 Eating is a subclass of ingesting
(subclass Overgrazing Eating) Geography.kif 2767-2767 Overgrazing is a subclass of eating
(subclass Suhur Eating) ArabicCulture.kif 35-35 Suhur is a subclass of eating
(subclass Iftar Eating) ArabicCulture.kif 89-89 Iftar is a subclass of eating
(subclass Aqiqah Eating) ArabicCulture.kif 325-325 Aqiqah is a subclass of eating


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