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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hinge

Sigma KEE - Hinge
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 15273-15274
(externalImage Hinge "http://upload.wikimedia.org/wikipedia/en/2/29/Hingebifold.JPG") pictureList.kif 4724-4724
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 15272-15272 合页工程组件subclass
(subclass Hinge MechanicalJoint) Cars.kif 1374-1374 合页MechanicalJointsubclass

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


(termFormat ChineseLanguage Hinge "合页") domainEnglishFormat.kif 28233-28233
(termFormat ChineseTraditionalLanguage Hinge "合頁") domainEnglishFormat.kif 28232-28232
(termFormat EnglishLanguage Hinge "hinge") domainEnglishFormat.kif 28231-28231

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

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