ShiftKeyHoldDown - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint ShiftKeyHoldDown ControlKeyHoldDown)	ComputerInput.kif 1291-1291	Shift key hold down is disjoint from control key hold down
(documentation ShiftKeyHoldDown EnglishLanguage "A ShiftKeyHoldDown is a UserDirectAction of pressing and holding down the Shift key on a keyboard.")	ComputerInput.kif 1267-1269	Shift key hold down is disjoint from control key hold down
(subclass ShiftKeyHoldDown KeyHoldDown)	ComputerInput.kif 1265-1265	Shift key hold down is a subclass of holding down a key

appearance as argument number 2

(disjoint AltKeyHoldDown ShiftKeyHoldDown)	ComputerInput.kif 1312-1312	Alt key hold down is disjoint from shift key hold down
(disjoint FunctionKeyHoldDown ShiftKeyHoldDown)	ComputerInput.kif 1336-1336	Function key hold down is disjoint from shift key hold down
(termFormat EnglishLanguage ShiftKeyHoldDown "shift key hold down")	domainEnglishFormat.kif 65534-65534	Function key hold down is disjoint from shift key hold down

antecedent

(=> (and (instance ?ACT ShiftKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY ShiftKey))	ComputerInput.kif 1278-1283	If a process is an instance of shift key hold down and an entity is a patient of the process and the entity is an instance of computer keyboard key, then the entity is an instance of shift key
(=> (instance ?ACT ShiftKeyHoldDown) (exists (?KEY) (and (instance ?KEY ShiftKey) (patient ?ACT ?KEY))))	ComputerInput.kif 1271-1276	If a process is an instance of shift key hold down, then there exists an entity such that the entity is an instance of shift key and the entity is a patient of the process

consequent

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

ComputerInput.kif 1497-1502

statement

(udaCanSignify (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)	ComputerInput.kif 1749-1750	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 2309-2310	The union of pressing the tab key key and shift key hold down isgnifies selecting active area