PhysicalLeftCIButton - Sigma Knowledge base Browser

appearance as argument number 1

(documentation PhysicalLeftCIButton EnglishLanguage "A ComputerInputButton physically on the left 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 RightCIButton is the PhysicalLeftCIButton).")	ComputerInput.kif 186-189
(subclass PhysicalLeftCIButton ComputerInputButton)	ComputerInput.kif 185-185	Physical left CI button is a subclass of computer input button

appearance as argument number 2

domainEnglishFormat.kif 65359-65359

consequent

(=>
    (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