ComputerInputDevice | ![]() |
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 469-470 | |
(subclass ComputerInputDevice ComputerHardware) | QoSontology.kif 468-468 | ComputerInputDevice は ComputerHardware の subclass では |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain standardInputDevice 2 ComputerInputDevice) | QoSontology.kif 612-612 | standardInputDevice の数値 2 引数は ComputerInputDevice の instance では |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?ACTION UserDirectAction) (exists (?DEVICE) (and (patient ?ACTION ?DEVICE) (instance ?DEVICE ComputerInputDevice)))) |
ComputerInput.kif 1191-1196 |
|
![]() |
![]() |