TouchSensitiveComputerInputDevice |
appearance as argument number 1 |
appearance as argument number 2 |
(subclass ComputerTouchpad TouchSensitiveComputerInputDevice) | ComputerInput.kif 427-427 | ComputerTouchpad 是 TouchSensitiveComputerInputDevice 的 subclass |
(subclass ComputerTouchscreen TouchSensitiveComputerInputDevice) | ComputerInput.kif 437-437 | ComputerTouchscreen 是 TouchSensitiveComputerInputDevice 的 subclass |
(subclass ComputerTouchscreenKeyboard TouchSensitiveComputerInputDevice) | ComputerInput.kif 450-450 | ComputerTouchscreenKeyboard 是 TouchSensitiveComputerInputDevice 的 subclass |
(termFormat EnglishLanguage TouchSensitiveComputerInputDevice "touch sensitive computer input device") | domainEnglishFormat.kif 65659-65659 | ComputerTouchscreenKeyboard 是 TouchSensitiveComputerInputDevice 的 subclass |
antecedent |
(=> (and (instance ?ACT ScreenTouchAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?TOUCHSURF ComputerTouchscreen)) |
ComputerInput.kif 1587-1592 |
|
(=> (and (instance ?ACT UserDirectAction) (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)) (instance ?ACT TouchSurfaceAction)) |
ComputerInput.kif 1545-1550 |
|
consequent |
(=> (instance ?ACT TouchSurfaceAction) (exists (?TOUCHSURF) (and (patient ?ACT ?TOUCHSURF) (instance ?TOUCHSURF TouchSensitiveComputerInputDevice)))) |
ComputerInput.kif 1538-1543 |
|