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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 打字连接subclass

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


(disjoint Untying Tying) Mid-level-ontology.kif 5604-5604 解开 和 % 2 是 disjoint
(termFormat ChineseLanguage Tying "打字") domainEnglishFormat.kif 59732-59732
(termFormat ChineseTraditionalLanguage Tying "打字") domainEnglishFormat.kif 59731-59731
(termFormat EnglishLanguage Tying "tying") domainEnglishFormat.kif 59730-59730


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