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

Formal Language: 



Term 1: Term 2:

(subclass Detaching DualObjectProcess) Merge.kif 12399-12399 Detaching ist eine teilkategorie von DualObjectProcess
(subclass Untying Detaching) Mid-level-ontology.kif 5603-5603 Untying ist eine teilkategorie von Detaching
(subclass Ungrasping Detaching) Merge.kif 12442-12442 Ungrasping ist eine teilkategorie von Detaching


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