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 3611-3612
(externalImage WireSpring "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Springs_009.jpg") pictureList.kif 4855-4855
(subclass WireSpring EngineeringComponent) Mid-level-ontology.kif 3610-3610
(subclass WireSpring Spring) Cars.kif 723-723
(subclass WireSpring Wire) Mid-level-ontology.kif 3609-3609

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


(termFormat ChineseLanguage WireSpring "钢丝弹簧") domainEnglishFormat.kif 63245-63245
(termFormat ChineseTraditionalLanguage WireSpring "鋼絲彈簧") domainEnglishFormat.kif 63244-63244
(termFormat EnglishLanguage WireSpring "wire spring") domainEnglishFormat.kif 63243-63243


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