| Untying | |
| appearance as argument number 1 |
|
|
| (disjoint Untying Tying) | Mid-level-ontology.kif 6541-6541 | Untying est disjoint de Tying |
| (documentation Untying EnglishLanguage "The Process of untying two things, or two strands of the same thing.") | Mid-level-ontology.kif 6542-6543 | Untying est disjoint de Tying |
| (subclass Untying Detaching) | Mid-level-ontology.kif 6540-6540 | Untying est une sous-classe de detacher |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Untying "解开") | domainEnglishFormat.kif 60590-60590 | |
| (termFormat ChineseTraditionalLanguage Untying "解開") | domainEnglishFormat.kif 60589-60589 | |
| (termFormat EnglishLanguage Untying "untying") | domainEnglishFormat.kif 60588-60588 |
|
|
|