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 468-469 | |
(subclass ComputerInputDevice ComputerHardware) | QoSontology.kif 467-467 |
appearance as argument number 2 |
appearance as argument number 3 |
(domain standardInputDevice 2 ComputerInputDevice) | QoSontology.kif 610-610 |
antecedent |
(=> (and (connectedPeripheral ?COD ?C) (instance ?COD ComputerInputDevice) (instance ?COD ?CLASS)) (capability ?CLASS origin DataTransfer)) |
ComputingBrands.kif 3552-3557 | |
(=> (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 1191-1196 |