(subclass DualObjectProcess Process) | Merge.kif 1542-1542 | |
(subclass Substituting DualObjectProcess) | Merge.kif 10701-10701 | |
(subclass Transaction DualObjectProcess) | Merge.kif 11050-11050 | |
(subclass Comparing DualObjectProcess) | Merge.kif 11274-11274 | |
(subclass Attaching DualObjectProcess) | Merge.kif 11504-11504 | |
(subclass Detaching DualObjectProcess) | Merge.kif 11533-11533 | |
(subclass Combining DualObjectProcess) | Merge.kif 11572-11572 | |
(subclass Separating DualObjectProcess) | Merge.kif 11598-11598 | |
(subclass Translating DualObjectProcess) | Merge.kif 11835-11835 |
![]() |