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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Spring

Sigma KEE - Spring
Spring(spring)
mainspring, spring

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


(documentation Spring EnglishLanguage "a metal device that returns to its shape or position when pushed or pulled or pressed") engineering.kif 772-773
(externalImage Spring "http://upload.wikimedia.org/wikipedia/commons/2/2a/ Ressort_de_compression.jpg") pictureList.kif 175-175
(subclass Spring MechanicalDevice) engineering.kif 774-774 Spring is a subclass of mechanical device
(typicallyContainsPart Spring AutoSuspensionSystem) Cars.kif 725-725 A auto suspension system typically has a part spring
(typicallyContainsPart Spring BallJoint) Cars.kif 1372-1372 A ball joint typically has a part spring

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


(subclass LeafSpring Spring) Cars.kif 887-887 Leaf spring is a subclass of spring
(subclass WireSpring Spring) Cars.kif 723-723 Wire spring is a subclass of spring
(termFormat ChineseLanguage Spring "弹簧") domainEnglishFormat.kif 54801-54801
(termFormat ChineseTraditionalLanguage Spring "彈簧") domainEnglishFormat.kif 54800-54800
(termFormat EnglishLanguage Spring "spring") domainEnglishFormat.kif 54799-54799

consequent
-------------------------


(=>
    (instance ?C Carabiner)
    (exists (?H ?S)
        (and
            (instance ?H Hinge)
            (part ?H ?C)
            (instance ?S Spring)
            (part ?S ?C))))
Mid-level-ontology.kif 29846-29853


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