Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RoboticGripper(robotic gripper) |
| appearance as argument number 1 |
|
| (subclass RoboticGripper Device) | engineering.kif 1105-1105 | Robotic gripper is a subclass of device |
| (documentation RoboticGripper EnglishLanguage "A RoboticGripper is the end effector of a robot or a robotic arm which act as fingers and has the purpose of grabbing objects. [Wikipedia]") | engineering.kif 1106-1108 | Robotic gripper is a subclass of device |
| (typicalPart RoboticGripper Robot) | engineering.kif 1109-1109 | A robotic gripper is typically a part of a robot |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RoboticGripper "robotic gripper") | domainEnglishFormat.kif 65962-65962 |
| antecedent |
|
|
| (=> (instance ?X RoboticGripper) (hasPurpose ?X (exists (?G ?O) (and (instance ?G Grabbing) (instance ?O Object) (patient ?G ?O) (instrument ?G ?X))))) |
engineering.kif 1111-1119 | If X is an instance of robotic gripper, then X has the purpose there exist Y, Z such that Y is an instance of grabbing, Z is an instance of object, Z is a patient of Y, and X is an instrument for Y |
|