No TPTP formula. May not be expressible in strict first order. | Merge.kif 11690-11690 | 给予 是 改变所有权 的 subclass |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1211-1211 | 分发产品 是 给予 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Military.kif 50-50 | 食品配送业务 是 给予 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11572-11572 | 馈送 是 给予 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11715-11715 | 资金 是 给予 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11731-11731 | 单方面给予 是 给予 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11746-11746 | 借出 是 给予 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11779-11779 | 回馈 是 给予 的 subclass |
![]() |