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

Formal Language: 



Term 1: Term 2:

(subclass Compressing Motion) Cars.kif 1982-1982 Compressing ist eine teilkategorie von Motion
(subclass Crushing Compressing) Food.kif 962-962 Crushing ist eine teilkategorie von Compressing


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