No TPTP formula. May not be expressible in strict first order. | Merge.kif 12369-12369 | 连接 是 双受体过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5598-5598 | 打字 是 连接 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5607-5607 | 针线活 是 连接 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5626-5626 | 焊接 是 连接 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23964-23964 | Fertilisation 是 连接 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11526-11526 | 抓 是 连接 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 61-61 | ApplyingTourniquet 是 连接 的 subclass |