(subclass Detaching DualObjectProcess) | Merge.kif 12421-12421 | Detaching is a subclass of dual object process |
(subclass Untying Detaching) | Mid-level-ontology.kif 5602-5602 | Untying is a subclass of detaching |
(subclass Ungrasping Detaching) | Merge.kif 12464-12464 | Ungrasping is a subclass of detaching |