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

Formal Language: 



Term 1: Term 2:

(subclass DualObjectProcess Process) Merge.kif 1633-1633 DualObjectProcess ist eine teilkategorie von Process
(subclass Substituting DualObjectProcess) Merge.kif 11471-11471 Substituting ist eine teilkategorie von DualObjectProcess
(subclass Transaction DualObjectProcess) Merge.kif 11832-11832 Transaction ist eine teilkategorie von DualObjectProcess
(subclass Comparing DualObjectProcess) Merge.kif 12131-12131 Comparing ist eine teilkategorie von DualObjectProcess
(subclass Attaching DualObjectProcess) Merge.kif 12369-12369 Attaching ist eine teilkategorie von DualObjectProcess
(subclass Detaching DualObjectProcess) Merge.kif 12421-12421 Detaching ist eine teilkategorie von DualObjectProcess
(subclass Combining DualObjectProcess) Merge.kif 12478-12478 Combining ist eine teilkategorie von DualObjectProcess
(subclass Separating DualObjectProcess) Merge.kif 12504-12504 Separating ist eine teilkategorie von DualObjectProcess
(subclass Translating DualObjectProcess) Merge.kif 12753-12753 Translating ist eine teilkategorie von DualObjectProcess


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