| (subclass DualObjectProcess Process) | Merge.kif 1633-1633 | Dual object process is a subclass of process |
| (subclass Substituting DualObjectProcess) | Merge.kif 11495-11495 | Substituting is a subclass of dual object process |
| (subclass Transaction DualObjectProcess) | Merge.kif 11856-11856 | Transaction is a subclass of dual object process |
| (subclass Comparing DualObjectProcess) | Merge.kif 12155-12155 | Comparing is a subclass of dual object process |
| (subclass Attaching DualObjectProcess) | Merge.kif 12393-12393 | Attaching is a subclass of dual object process |
| (subclass Detaching DualObjectProcess) | Merge.kif 12445-12445 | Detaching is a subclass of dual object process |
| (subclass Combining DualObjectProcess) | Merge.kif 12502-12502 | Combining is a subclass of dual object process |
| (subclass Separating DualObjectProcess) | Merge.kif 12528-12528 | Separating is a subclass of dual object process |
| (subclass Translating DualObjectProcess) | Merge.kif 12777-12777 | Translating is a subclass of dual object process |
|
|