(subclass Detaching DualObjectProcess) | Merge.kif 12399-12399 | Detaching is a subclass of dual object process |
(subclass Untying Detaching) | Mid-level-ontology.kif 5603-5603 | Untying is a subclass of detaching |
(subclass Ungrasping Detaching) | Merge.kif 12442-12442 | Ungrasping is a subclass of detaching |