ComputerTouchpad(computer touchpad) |
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 64686-64686 |
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 |
|