No TPTP formula. May not be expressible in strict first order. | Merge.kif 11709-11709 | 单方面给予 是 给予 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18641-18641 | Awarding 是 单方面给予 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18675-18675 | 遗赠 是 单方面给予 的 subclass |