| Untying(untying) | | loosen, unbrace, undo, unlace, untie |
| appearance as argument number 1 |
|
|
| (disjoint Untying Tying) | Mid-level-ontology.kif 5598-5598 | Untying is disjoint from tying |
| (documentation Untying EnglishLanguage "The Process of untying two things, or two strands of the same thing.") | Mid-level-ontology.kif 5599-5600 | Untying is disjoint from tying |
| (subclass Untying Detaching) | Mid-level-ontology.kif 5597-5597 | Untying is a subclass of detaching |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Untying "解开") | domainEnglishFormat.kif 60644-60644 | |
| (termFormat ChineseTraditionalLanguage Untying "解開") | domainEnglishFormat.kif 60643-60643 | |
| (termFormat EnglishLanguage Untying "untying") | domainEnglishFormat.kif 60642-60642 |
|
|
|