No TPTP formula. May not be expressible in strict first order. | Merge.kif 11809-11809 | 交易 是 改变所有权 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11810-11810 | 交易 是 双受体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11834-11834 | 金融交易 是 交易 的 subclass |