| 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. | Mid-level-ontology.kif 5599-5599 | 打字 是 连接 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5608-5608 | 针线活 是 连接 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5627-5627 | 焊接 是 连接 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23965-23965 | Fertilisation 是 连接 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11504-11504 | 抓 是 连接 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 61-61 | ApplyingTourniquet 是 连接 的 subclass |
|
|