ComputerTouchpad - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ComputerTouchpad TouchSensitiveComputerInputDevice)	ComputerInput.kif 443-443	Computer touchpad is a subclass of touch sensitive computer input device
(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 445-449	Computer touchpad is a subclass of touch sensitive computer input device

appearance as argument number 2

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

antecedent

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

consequent

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

If X is an instance of touch pad action, then there exists Y such that Y is a patient of X and Y is an instance of computer touchpad