(subclass Transaction ChangeOfPossession) | Merge.kif 11831-11831 | Transaction is a subclass of change of possession |
(subclass Transaction DualObjectProcess) | Merge.kif 11832-11832 | Transaction is a subclass of dual object process |
(subclass FinancialTransaction Transaction) | Merge.kif 11856-11856 | Financial transaction is a subclass of transaction |