RoboticGripper - Sigma Knowledge base Browser

appearance as argument number 1

(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 1019-1021
(subclass RoboticGripper Device)	engineering.kif 1018-1018
(typicalPart RoboticGripper Robot)	engineering.kif 1022-1022

appearance as argument number 2

domainEnglishFormat.kif 65986-65986

antecedent

(=>
    (instance ?X RoboticGripper)
    (hasPurpose ?X
        (exists (?G ?O)
            (and
                (instance ?G Grabbing)
                (instance ?O Object)
                (patient ?G ?O)
                (instrument ?G ?X)))))

engineering.kif 1024-1032