No TPTP formula. May not be expressible in strict first order. | Merge.kif 11831-11831 | 子類 Transaction and ChangeOfPossession |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11832-11832 | 子類 Transaction and DualObjectProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11856-11856 | 子類 FinancialTransaction and Transaction |