(subclass Transaction ChangeOfPossession) | Merge.kif 11809-11809 | Transaction is a subclass of change of possession |
(subclass Transaction DualObjectProcess) | Merge.kif 11810-11810 | Transaction is a subclass of dual object process |
(subclass FinancialTransaction Transaction) | Merge.kif 11834-11834 | Financial transaction is a subclass of transaction |