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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 5252-5253
(externalImage Tying " 8/ 8e/ Knife-lanyard-knot-ABOK-787-Carrick-start.jpg/ 300px-Knife-lanyard-knot-ABOK-787-Carrick-start.jpg") pictureList.kif 1277-1277
(subclass Tying Attaching) Mid-level-ontology.kif 5251-5251

appearance as argument number 2

(disjoint Untying Tying) Mid-level-ontology.kif 5256-5256
(termFormat ChineseLanguage Tying "打字") domainEnglishFormat.kif 59693-59693
(termFormat ChineseTraditionalLanguage Tying "打字") domainEnglishFormat.kif 59692-59692
(termFormat EnglishLanguage Tying "tying") domainEnglishFormat.kif 59691-59691

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