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 11449-11449 Substituting ist eine teilkategorie von DualObjectProcess
(subclass Transaction DualObjectProcess) Merge.kif 11810-11810 Transaction ist eine teilkategorie von DualObjectProcess
(subclass Comparing DualObjectProcess) Merge.kif 12109-12109 Comparing ist eine teilkategorie von DualObjectProcess
(subclass Attaching DualObjectProcess) Merge.kif 12347-12347 Attaching ist eine teilkategorie von DualObjectProcess
(subclass Detaching DualObjectProcess) Merge.kif 12399-12399 Detaching ist eine teilkategorie von DualObjectProcess
(subclass Combining DualObjectProcess) Merge.kif 12456-12456 Combining ist eine teilkategorie von DualObjectProcess
(subclass Separating DualObjectProcess) Merge.kif 12482-12482 Separating ist eine teilkategorie von DualObjectProcess
(subclass Translating DualObjectProcess) Merge.kif 12731-12731 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