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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Spring
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
(typicallyContainsPart Spring AutoSuspensionSystem) Cars.kif 725-725
(typicallyContainsPart Spring BallJoint) Cars.kif 1372-1372

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


(subclass LeafSpring Spring) Cars.kif 887-887
(subclass WireSpring Spring) Cars.kif 723-723
(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