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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 12986-12987
(externalImage Hinge "http://upload.wikimedia.org/wikipedia/en/2/29/Hingebifold.JPG") pictureList.kif 4725-4725
(subclass Hinge EngineeringComponent) Mid-level-ontology.kif 12985-12985
(subclass Hinge MechanicalJoint) Cars.kif 1370-1370

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


(termFormat ChineseLanguage Hinge "ๅˆ้กต") domainEnglishFormat.kif 28156-28156
(termFormat ChineseTraditionalLanguage Hinge "ๅˆ้ ") domainEnglishFormat.kif 28155-28155
(termFormat EnglishLanguage Hinge "hinge") domainEnglishFormat.kif 28154-28154

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


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