ComputerInputDevice(computer input device) | ![]() | data_input_device, digital_scanner, image_scanner, input_device, scanner |
appearance as argument number 1 |
![]() |
(documentation ComputerInputDevice EnglishLanguage "A peripheral device that generates input for the computer such as a keyboard, scanner, or mouse.") | QoSontology.kif 466-467 | |
(subclass ComputerInputDevice ComputerHardware) | QoSontology.kif 465-465 | Computer input device is a subclass of computer hardware |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain standardInputDevice 2 ComputerInputDevice) | QoSontology.kif 502-502 | The number 2 argument of standard input device is an instance of computer input device |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?ACTION UserDirectAction) (exists (?DEVICE) (and (patient ?ACTION ?DEVICE) (instance ?DEVICE ComputerInputDevice)))) |
ComputerInput.kif 1188-1193 |
|
![]() |
![]() |