ShiftKeyHoldDown - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint ShiftKeyHoldDown ControlKeyHoldDown)	ComputerInput.kif 981-981	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 963-963
(subclass ShiftKeyHoldDown KeyHoldDown)	ComputerInput.kif 962-962	ShiftKeyHoldDown is a subclass of KeyHoldDown

appearance as argument number 2

(disjoint AltKeyHoldDown ShiftKeyHoldDown)	ComputerInput.kif 998-998	AltKeyHoldDown is disjoint from ShiftKeyHoldDown
(disjoint FunctionKeyHoldDown ShiftKeyHoldDown)	ComputerInput.kif 1018-1018	FunctionKeyHoldDown is disjoint from ShiftKeyHoldDown

antecedent

(=> (and (instance ?ACT ShiftKeyHoldDown) (patient ?ACT ?KEY) (instance ?KEY ComputerKeyboardKey)) (instance ?KEY ShiftKey))	ComputerInput.kif 972-977	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 965-970	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 1147-1152

statement

(udaCanSignify (IntersectionFn ShiftKeyHoldDown SlidingComputerInputDeviceAction) DraggingWithCursor)	ComputerInput.kif 1362-1363	The union of ShiftKeyHoldDown and SlidingComputerInputDeviceAction isgnifies DraggingWithCursor
(udaCanSignify (UnionFn (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)	ComputerInput.kif 1848-1849	The union of pressing the TabKey key and ShiftKeyHoldDown isgnifies SelectingActiveArea