| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1633-1633 | 双受体过程 是 过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11449-11449 | 代替 是 双受体过程 的 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 12109-12109 | 比较 是 双受体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12347-12347 | 连接 是 双受体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12399-12399 | 脱离 是 双受体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12456-12456 | 结合 是 双受体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12482-12482 | 分开 是 双受体过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12731-12731 | 翻译 是 双受体过程 的 subclass |
|
|