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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 774-775
(externalImage Spring "http://upload.wikimedia.org/wikipedia/commons/2/2a/ Ressort_de_compression.jpg") pictureList.kif 175-175
(subclass Spring Device) engineering.kif 776-776 Spring is a subclass of 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 54822-54822
(termFormat ChineseTraditionalLanguage Spring "彈簧") domainEnglishFormat.kif 54821-54821
(termFormat EnglishLanguage Spring "spring") domainEnglishFormat.kif 54820-54820

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


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


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