No TPTP formula. May not be expressible in strict first order. | Merge.kif 12399-12399 | Detaching is a subclass of dual object process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5603-5603 | Untying is a subclass of detaching |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12442-12442 | Ungrasping is a subclass of detaching |