| 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 15300-15301 | |
| (externalImage Hinge "http://upload.wikimedia.org/wikipedia/en/2/29/Hingebifold.JPG") | pictureList.kif 4724-4724 | |
| (subclass Hinge EngineeringComponent) | Mid-level-ontology.kif 15299-15299 | Hinge è una sottoclasse di Meccanismo |
| (subclass Hinge MechanicalJoint) | Cars.kif 1374-1374 | Hinge è una sottoclasse di MechanicalJoint |
| 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 15303-15311 |
| consequent |
|
|
| (=> (instance ?C Carabiner) (exists (?H ?S) (and (instance ?H Hinge) (part ?H ?C) (instance ?S Spring) (part ?S ?C)))) |
Mid-level-ontology.kif 30822-30829 |
|
|
|