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 5256-5256
(documentation Untying EnglishLanguage "The Process of untying two things, or two strands of the same thing.") Mid-level-ontology.kif 5257-5258
(subclass Untying Detaching) Mid-level-ontology.kif 5255-5255

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Untying "解开") domainEnglishFormat.kif 60562-60562
(termFormat ChineseTraditionalLanguage Untying "解開") domainEnglishFormat.kif 60561-60561
(termFormat EnglishLanguage Untying "untying") domainEnglishFormat.kif 60560-60560


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