ComputerTouchpad - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ComputerTouchpad EnglishLanguage "A touch-sensitive ComputerInputDevice for accepting point and click input on a 2D surface. The device is operated by moving (normally) a finger across the surface of the device. Clicking may be achieved by clicking on an adjacent button or by tapping the surface.")	ComputerInput.kif 429-433
(subclass ComputerTouchpad TouchSensitiveComputerInputDevice)	ComputerInput.kif 427-427	Computer touchpad is a subclass of touch sensitive computer input device

appearance as argument number 2

(disjoint ComputerScreen ComputerTouchpad)	ComputerInput.kif 435-435	Computer screen is disjoint from computer touchpad
(termFormat EnglishLanguage ComputerTouchpad "computer touchpad")	domainEnglishFormat.kif 64732-64732	Computer screen is disjoint from computer touchpad

antecedent

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

ComputerInput.kif 1626-1631

consequent

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

ComputerInput.kif 1619-1624