| (subclass Transaction ChangeOfPossession) | Merge.kif 11809-11809 | Transaction est une sous-classe de changement de possession |
| (subclass Transaction DualObjectProcess) | Merge.kif 11810-11810 | Transaction est une sous-classe de processus requ�rant deux patients |
| (subclass FinancialTransaction Transaction) | Merge.kif 11834-11834 | Financial transaction est une sous-classe de transaction |
|
|