ShiftKeyHoldDown - Sigma Knowledge base Browser

appearance as argument number 1

(subclass ShiftKeyHoldDown KeyHoldDown)	ComputerInput.kif 1281-1281	Shift key hold down is a subclass of holding down a key
(documentation ShiftKeyHoldDown EnglishLanguage "A ShiftKeyHoldDown is a UserDirectAction of pressing and holding down the Shift key on a keyboard.")	ComputerInput.kif 1283-1285	Shift key hold down is a subclass of holding down a key
(disjoint ShiftKeyHoldDown ControlKeyHoldDown)	ComputerInput.kif 1307-1307	Shift key hold down is disjoint from control key hold down

appearance as argument number 2

(disjoint AltKeyHoldDown ShiftKeyHoldDown)	ComputerInput.kif 1328-1328	Alt key hold down is disjoint from shift key hold down
(disjoint FunctionKeyHoldDown ShiftKeyHoldDown)	ComputerInput.kif 1352-1352	Function key hold down is disjoint from shift key hold down
(termFormat EnglishLanguage ShiftKeyHoldDown "shift key hold down")	domainEnglishFormat.kif 65489-65489	Function key hold down is disjoint from shift key hold down

antecedent

(=> (instance ?ACT ShiftKeyHoldDown) (exists (?KEY) (and (instance ?KEY ShiftKey) (patient ?ACT ?KEY))))	ComputerInput.kif 1287-1292	If X is an instance of shift key hold down, then there exists Y such that Y is an instance of shift key and Y is a patient of X
(=> (and (instance ?ACT ShiftKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY ShiftKey))	ComputerInput.kif 1294-1299	If X is an instance of shift key hold down, Y is a patient of X, and Y is an instance of computer keyboard key, then Y is an instance of shift key

consequent

(=>
    (instance ?ACT ShiftClicking)
    (exists (?SHIFT)
        (and
            (subProcess ?SHIFT ?ACT)
            (instance ?SHIFT ShiftKeyHoldDown))))

If X is an instance of shift clicking, then there exists Y such that Y is a subprocess of X and Y is an instance of shift key hold down

statement

(udaCanSignify (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)	ComputerInput.kif 1765-1766	The union of shift key hold down and sliding computer input device action isgnifies dragging with cursor
(udaCanSignify (UnionFn (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)	ComputerInput.kif 2325-2326	The union of pressing the tab key key and shift key hold down isgnifies selecting active area