ShiftKeyHoldDown - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint ShiftKeyHoldDown ControlKeyHoldDown)	ComputerInput.kif 1318-1318	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 1294-1296
(subclass ShiftKeyHoldDown KeyHoldDown)	ComputerInput.kif 1292-1292	ShiftKeyHoldDown is a subclass of KeyHoldDown

appearance as argument number 2

(disjoint AltKeyHoldDown ShiftKeyHoldDown)	ComputerInput.kif 1339-1339	AltKeyHoldDown is disjoint from ShiftKeyHoldDown
(disjoint FunctionKeyHoldDown ShiftKeyHoldDown)	ComputerInput.kif 1363-1363	FunctionKeyHoldDown is disjoint from ShiftKeyHoldDown

antecedent

(=> (and (instance ?ACT ShiftKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY ShiftKey))	ComputerInput.kif 1305-1310	If a process is an instance of ShiftKeyHoldDown and an entity is a patient of the process and the entity is an instance of ComputerKeyboardKey, then the entity is an instance of ShiftKey
(=> (instance ?ACT ShiftKeyHoldDown) (exists (?KEY) (and (instance ?KEY ShiftKey) (patient ?ACT ?KEY))))	ComputerInput.kif 1298-1303	If a process is an instance of ShiftKeyHoldDown, then there exists an entity such that the entity is an instance of ShiftKey and the entity is a patient of the process

consequent

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

ComputerInput.kif 1524-1529

statement

(udaCanSignify (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)	ComputerInput.kif 1764-1765	The union of ShiftKeyHoldDown and SlidingComputerInputDeviceAction isgnifies DraggingWithCursor
(udaCanSignify (UnionFn (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)	ComputerInput.kif 2324-2325	The union of pressing the TabKey key and ShiftKeyHoldDown isgnifies SelectingActiveArea