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 14741-14742 | |
(externalImage Hinge "http://upload.wikimedia.org/wikipedia/en/2/29/Hingebifold.JPG") | pictureList.kif 4725-4725 | |
(subclass Hinge EngineeringComponent) | Mid-level-ontology.kif 14740-14740 | 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 14744-14752 |
|
consequent |
![]() |
(=> (instance ?C Carabiner) (exists (?H ?S) (and (instance ?H Hinge) (part ?H ?C) (instance ?S Spring) (part ?S ?C)))) |
Mid-level-ontology.kif 30200-30207 |
|
![]() |
![]() |