| (subclass DualObjectProcess Process) | Merge.kif 1633-1633 | Processo Dual e' uma sub-classe de Processo |
| (subclass Substituting DualObjectProcess) | Merge.kif 11449-11449 | Substituir e' uma sub-classe de Processo Dual |
| (subclass Transaction DualObjectProcess) | Merge.kif 11810-11810 | Transacao e' uma sub-classe de Processo Dual |
| (subclass Comparing DualObjectProcess) | Merge.kif 12109-12109 | Comparar e' uma sub-classe de Processo Dual |
| (subclass Attaching DualObjectProcess) | Merge.kif 12347-12347 | Colar e' uma sub-classe de Processo Dual |
| (subclass Detaching DualObjectProcess) | Merge.kif 12399-12399 | Descolar e' uma sub-classe de Processo Dual |
| (subclass Combining DualObjectProcess) | Merge.kif 12456-12456 | Combinar e' uma sub-classe de Processo Dual |
| (subclass Separating DualObjectProcess) | Merge.kif 12482-12482 | Separar e' uma sub-classe de Processo Dual |
| (subclass Translating DualObjectProcess) | Merge.kif 12731-12731 | Translating e' uma sub-classe de Processo Dual |
|
|