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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hinge
Hinge(hinge)
flexible_joint, hinge

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


(documentation Hinge EnglishLanguage "An EngineeringComponent that connects one thing to another in such a way that they can move relative to one another.") Mid-level-ontology.kif 14438-14439
(externalImage Hinge "http://upload.wikimedia.org/wikipedia/en/2/29/Hingebifold.JPG") pictureList.kif 4725-4725
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 14437-14437 Hinge is a subclass of engineering component
(subclass Hinge MechanicalJoint) Cars.kif 1374-1374 Hinge is a subclass of mechanical joint

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


(termFormat ChineseLanguage Hinge "ๅˆ้กต") domainEnglishFormat.kif 28224-28224
(termFormat ChineseTraditionalLanguage Hinge "ๅˆ้ ") domainEnglishFormat.kif 28223-28223
(termFormat EnglishLanguage Hinge "hinge") domainEnglishFormat.kif 28222-28222

antecedent
-------------------------


(=>
    (instance ?HINGE Hinge)
    (hasPurpose ?HINGE
        (exists (?OBJ1 ?OBJ2)
            (and
                (connects ?HINGE ?OBJ1 ?OBJ2)
                (or
                    (capability Rotating patient ?OBJ1)
                    (capability Rotating patient ?OBJ2))))))
Mid-level-ontology.kif 14441-14449

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 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