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

Formal Language: 



Term 1: Term 2:

(subclass DualObjectProcess Process) Merge.kif 1542-1542
(subclass Substituting DualObjectProcess) Merge.kif 10701-10701
(subclass Transaction DualObjectProcess) Merge.kif 11050-11050
(subclass Comparing DualObjectProcess) Merge.kif 11274-11274
(subclass Attaching DualObjectProcess) Merge.kif 11504-11504
(subclass Detaching DualObjectProcess) Merge.kif 11533-11533
(subclass Combining DualObjectProcess) Merge.kif 11572-11572
(subclass Separating DualObjectProcess) Merge.kif 11598-11598
(subclass Translating DualObjectProcess) Merge.kif 11835-11835


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