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