ShiftKeyHoldDown |
appearance as argument number 1 |
![]() |
(disjoint ShiftKeyHoldDown ControlKeyHoldDown) | ComputerInput.kif 1117-1117 | ShiftKeyHoldDown is disjoint from ControlKeyHoldDown |
(documentation ShiftKeyHoldDown EnglishLanguage "A ShiftKeyHoldDown is a UserDirectAction of pressing and holding down the Shift key on a keyboard.") | ComputerInput.kif 1093-1095 | |
(subclass ShiftKeyHoldDown KeyHoldDown) | ComputerInput.kif 1091-1091 | ShiftKeyHoldDown is a subclass of KeyHoldDown |
appearance as argument number 2 |
![]() |
(disjoint AltKeyHoldDown ShiftKeyHoldDown) | ComputerInput.kif 1138-1138 | AltKeyHoldDown is disjoint from ShiftKeyHoldDown |
(disjoint FunctionKeyHoldDown ShiftKeyHoldDown) | ComputerInput.kif 1162-1162 | FunctionKeyHoldDown is disjoint from ShiftKeyHoldDown |
antecedent |
![]() |
(=> (and (instance ?ACT ShiftKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY ShiftKey)) |
ComputerInput.kif 1104-1109 |
|
(=> (instance ?ACT ShiftKeyHoldDown) (exists (?KEY) (and (instance ?KEY ShiftKey) (patient ?ACT ?KEY)))) |
ComputerInput.kif 1097-1102 |
|
consequent |
![]() |
(=> (instance ?ACT ShiftClicking) (exists (?SHIFT) (and (subProcess ?SHIFT ?ACT) (instance ?SHIFT ShiftKeyHoldDown)))) |
ComputerInput.kif 1316-1321 |
|
statement |
![]() |
(udaCanSignify (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor) |
ComputerInput.kif 1531-1532 | The union of ShiftKeyHoldDown and SlidingComputerInputDeviceAction isgnifies DraggingWithCursor |
(udaCanSignify (UnionFn (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea) |
ComputerInput.kif 2017-2018 | The union of pressing the TabKey key and ShiftKeyHoldDown isgnifies SelectingActiveArea |
![]() |
![]() |