No TPTP formula. May not be expressible in strict first order. | Merge.kif 11809-11809 | Transaction is a subclass of change of possession |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11810-11810 | Transaction is a subclass of dual object process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11834-11834 | Financial transaction is a subclass of transaction |