| (subclass DualObjectProcess Process) | Merge.kif 1643-1643 | |
| (subclass Substituting DualObjectProcess) | Merge.kif 11599-11599 | |
| (subclass Transaction DualObjectProcess) | Merge.kif 11960-11960 | |
| (subclass Comparing DualObjectProcess) | Merge.kif 12259-12259 | |
| (subclass Attaching DualObjectProcess) | Merge.kif 12497-12497 | |
| (subclass Detaching DualObjectProcess) | Merge.kif 12551-12551 | |
| (subclass Combining DualObjectProcess) | Merge.kif 12610-12610 | |
| (subclass Separating DualObjectProcess) | Merge.kif 12636-12636 | |
| (subclass Translating DualObjectProcess) | Merge.kif 12885-12885 | |
| (subclass ProductAssembly DualObjectProcess) | Economy.kif 2127-2127 |
|
|