TouchPadAction - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TouchPadAction EnglishLanguage "A ScreenTouchAction is a TouchSurfaceAction using a ComputerTouchpad.")	ComputerInput.kif 1616-1617
(subclass TouchPadAction TouchSurfaceAction)	ComputerInput.kif 1615-1615	Touch pad action is a subclass of touch surface action

appearance as argument number 2

domainEnglishFormat.kif 65657-65657

antecedent

(=>
    (instance ?ACT TouchPadAction)
    (exists (?TOUCHPAD)
        (and
            (patient ?ACT ?TOUCHPAD)
            (instance ?TOUCHPAD ComputerTouchpad))))

ComputerInput.kif 1619-1624

consequent

(=>
    (and
        (instance ?ACT UserDirectAction)
        (patient ?ACT ?TOUCHPAD)
        (instance ?TOUCHPAD ComputerTouchpad))
    (instance ?ACT TouchPadAction))

ComputerInput.kif 1626-1631