Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Hinge
Hinge(hinge)
flexible_joint, hinge

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


(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 16847-16847 Hinge is a subclass of engineering component
(subclass Hinge MechanicalJoint) Mid-level-ontology.kif 16848-16848 Hinge is a subclass of mechanical joint
(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 16849-16850 Hinge is a subclass of mechanical joint
(externalImage Hinge "http://upload.wikimedia.org/wikipedia/en/2/29/Hingebifold.JPG") pictureList.kif 4723-4723 Hinge is a subclass of mechanical joint

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


(termFormat EnglishLanguage Hinge "hinge") domainEnglishFormat.kif 28235-28235
(termFormat ChineseTraditionalLanguage Hinge "ๅˆ้ ") domainEnglishFormat.kif 28236-28236
(termFormat ChineseLanguage Hinge "ๅˆ้กต") domainEnglishFormat.kif 28237-28237

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 16852-16860 If X is an instance of hinge, then X has the purpose there exist Y, Z such that X connects Y, Z, and Y is capable of doing rotating as a patient or Z is capable of doing rotating as a patient

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


(=>
    (instance ?C Carabiner)
    (exists (?H ?S)
        (and
            (instance ?H Hinge)
            (part ?H ?C)
            (instance ?S Spring)
            (part ?S ?C))))		 engineering.kif 1177-1184 If X is an instance of karabiner, then there exist Y, Z such that Y is an instance of hinge, Y is a part of X, Z is an instance of spring, and Z is a part of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners