| (subclass DualObjectProcess Process) | Merge.kif 1633-1633 | |
| (subclass Substituting DualObjectProcess) | Merge.kif 11495-11495 | |
| (subclass Transaction DualObjectProcess) | Merge.kif 11856-11856 | |
| (subclass Comparing DualObjectProcess) | Merge.kif 12155-12155 | |
| (subclass Attaching DualObjectProcess) | Merge.kif 12393-12393 | |
| (subclass Detaching DualObjectProcess) | Merge.kif 12445-12445 | |
| (subclass Combining DualObjectProcess) | Merge.kif 12502-12502 | |
| (subclass Separating DualObjectProcess) | Merge.kif 12528-12528 | |
| (subclass Translating DualObjectProcess) | Merge.kif 12777-12777 |
|
|