Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Untying
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners