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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WireSpring
WireSpring

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


(documentation WireSpring EnglishLanguage "An EngineeringComponent consisting of a coil of Wire that returns to its original shape when pulled apart or pressed together.") Mid-level-ontology.kif 4061-4062
(externalImage WireSpring "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Springs_009.jpg") pictureList.kif 4854-4854
(subclass WireSpring EngineeringComponent) Mid-level-ontology.kif 4060-4060
(subclass WireSpring Spring) Cars.kif 723-723
(subclass WireSpring Wire) Mid-level-ontology.kif 4059-4059

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


(termFormat ChineseLanguage WireSpring "钢丝弹簧") domainEnglishFormat.kif 63237-63237
(termFormat ChineseTraditionalLanguage WireSpring "鋼絲彈簧") domainEnglishFormat.kif 63236-63236
(termFormat EnglishLanguage WireSpring "wire spring") domainEnglishFormat.kif 63235-63235


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