No TPTP formula. May not be expressible in strict first order. | Merge.kif 12399-12399 | 子類 Detaching and DualObjectProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5603-5603 | 子類 解開 and Detaching |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12442-12442 | 子類 取消抓握 and Detaching |