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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tying

Sigma KEE - Tying
Tying

appearance as argument number 1
-------------------------


(documentation Tying EnglishLanguage "The Process of tying two things, or two strands of the same thing, together.") Mid-level-ontology.kif 5600-5601
(externalImage Tying "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 8e/ Knife-lanyard-knot-ABOK-787-Carrick-start.jpg/ 300px-Knife-lanyard-knot-ABOK-787-Carrick-start.jpg") pictureList.kif 1276-1276
(subclass Tying Attaching) Mid-level-ontology.kif 5599-5599 Tying est une sous-classe de attacher

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


(disjoint Untying Tying) Mid-level-ontology.kif 5604-5604 Untying est disjoint de Tying
(termFormat ChineseLanguage Tying "打字") domainEnglishFormat.kif 59732-59732
(termFormat ChineseTraditionalLanguage Tying "打字") domainEnglishFormat.kif 59731-59731
(termFormat EnglishLanguage Tying "tying") domainEnglishFormat.kif 59730-59730


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

Show without tree


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