ShiftKeyHoldDown - Sigma Knowledge base Browser

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	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 1097-1102	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 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