| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11641-11641 | 改变所有权 是 社交 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18560-18560 | 分享 是 改变所有权 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11668-11668 | 给予 是 改变所有权 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11775-11775 | 获得 是 改变所有权 的 subclass |
| 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. | Economy.kif 2394-2394 | 出口 是 改变所有权 的 subclass |
|
|