(subclass Transaction ChangeOfPossession) | Merge.kif 11809-11809 | 子類 Transaction and ChangeOfPossession |
(subclass Transaction DualObjectProcess) | Merge.kif 11810-11810 | 子類 Transaction and DualObjectProcess |
(subclass FinancialTransaction Transaction) | Merge.kif 11834-11834 | 子類 FinancialTransaction and Transaction |