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 466-467 | |
(subclass ComputerInputDevice ComputerHardware) | QoSontology.kif 465-465 |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain standardInputDevice 2 ComputerInputDevice) | QoSontology.kif 502-502 |
antecedent |
![]() |
(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerInputDevice)) (capability ?COD origin DataTransfer)) |
ComputingBrands.kif 3516-3520 | |
(=> (and (instance ?MID MiddleCIButton) (component ?MID ?DEV) (instance ?DEV ComputerInputDevice)) (exists (?LEFT ?RIGHT) (and (instance ?RIGHT RightCIButton) (instance ?LEFT LeftCIButton) (component ?RIGHT ?DEV) (component ?LEFT ?DEV) (between ?LEFT ?MID ?RIGHT) (orientation ?MID ?LEFT Left) (orientation ?MID ?RIGHT Right)))) |
ComputerInput.kif 224-237 | |
(=> (and (instance ?RIGHT PhysicalRightCIButton) (component ?RIGHT ?DEV) (instance ?DEV ComputerInputDevice)) (exists (?LEFT) (and (instance ?LEFT PhysicalLeftCIButton) (component ?LEFT ?DEV) (orientation ?RIGHT ?LEFT Left)))) |
ComputerInput.kif 204-213 |
consequent |
![]() |
(=> (instance ?ACTION UserDirectAction) (exists (?DEVICE) (and (patient ?ACTION ?DEVICE) (instance ?DEVICE ComputerInputDevice)))) |
ComputerInput.kif 1188-1193 |
![]() |
![]() |