Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Untying(untying) |  | loosen, unbrace, undo, unlace, untie |
| appearance as argument number 1 |
|
|
| (subclass Untying Detaching) | Mid-level-ontology.kif 6722-6722 | Untying is a subclass of detaching |
| (disjoint Untying Tying) | Mid-level-ontology.kif 6723-6723 | 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 6724-6725 | Untying is disjoint from tying |
| appearance as argument number 2 |
|
|
|