Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   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 |
|
|
| 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 |
|
