(subclass Transaction ChangeOfPossession) | Merge.kif 11809-11809 | Transacao e' uma sub-classe de Mudanca de Dono |
(subclass Transaction DualObjectProcess) | Merge.kif 11810-11810 | Transacao e' uma sub-classe de Processo Dual |
(subclass FinancialTransaction Transaction) | Merge.kif 11834-11834 | Transacao Financeira e' uma sub-classe de Transacao |