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 6537-6538
(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 6536-6536 Tying est une sous-classe de attacher

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


(disjoint Untying Tying) Mid-level-ontology.kif 6541-6541 Untying est disjoint de Tying
(termFormat ChineseLanguage Tying "打字") domainEnglishFormat.kif 59724-59724 Untying est disjoint de Tying
(termFormat ChineseTraditionalLanguage Tying "打字") domainEnglishFormat.kif 59723-59723 Untying est disjoint de Tying
(termFormat EnglishLanguage Tying "tying") domainEnglishFormat.kif 59722-59722 Untying est disjoint de Tying


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