PhysicalRightCIButton - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PhysicalRightCIButton EnglishLanguage "A ComputerInputButton physically on the right side of a set of ComputerInputButtons. A computer system may be told to logically switch the right and left buttons (e.g., for a person who uses a mouse in the left hand -- in such a case, the LeftCIButton is the PhysicalRightCIButton).")	ComputerInput.kif 180-183
(subclass PhysicalRightCIButton ComputerInputButton)	ComputerInput.kif 179-179	Physical right CI button is a subclass of computer input button

appearance as argument number 2

domainEnglishFormat.kif 65360-65360

antecedent

(=>
    (and
        (instance ?RIGHT PhysicalRightCIButton)
        (component ?RIGHT ?DEV)
        (instance ?DEV ComputerInputDevice))
    (exists (?LEFT)
        (and
            (instance ?LEFT PhysicalLeftCIButton)
            (component ?LEFT ?DEV)
            (orientation ?RIGHT ?LEFT Left))))

ComputerInput.kif 204-213