(subclass DualObjectProcess Process) | Merge.kif 1633-1633 | 子類 DualObjectProcess and Process |
(subclass Substituting DualObjectProcess) | Merge.kif 11449-11449 | 子類 Substituting and DualObjectProcess |
(subclass Transaction DualObjectProcess) | Merge.kif 11810-11810 | 子類 Transaction and DualObjectProcess |
(subclass Comparing DualObjectProcess) | Merge.kif 12109-12109 | 子類 Comparing and DualObjectProcess |
(subclass Attaching DualObjectProcess) | Merge.kif 12347-12347 | 子類 Attaching and DualObjectProcess |
(subclass Detaching DualObjectProcess) | Merge.kif 12399-12399 | 子類 Detaching and DualObjectProcess |
(subclass Combining DualObjectProcess) | Merge.kif 12456-12456 | 子類 Combining and DualObjectProcess |
(subclass Separating DualObjectProcess) | Merge.kif 12482-12482 | 子類 Separating and DualObjectProcess |
(subclass Translating DualObjectProcess) | Merge.kif 12731-12731 | 子類 翻譯 and DualObjectProcess |