No TPTP formula. May not be expressible in strict first order. | Merge.kif 12347-12347 | 子類 Attaching and DualObjectProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5599-5599 | 子類 打字 and Attaching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5608-5608 | 子類 針線活 and Attaching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5627-5627 | 子類 焊接 and Attaching |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23965-23965 | 子類 Fertilisation and Attaching |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11504-11504 | 子類 抓 and Attaching |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 61-61 | 子類 ApplyingTourniquet and Attaching |