Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShiftKeyHoldDown
ShiftKeyHoldDown(shift key hold down)

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
(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 65488-65488

antecedent
-------------------------


(=>
    (and
        (instance ?ACT ShiftKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY ShiftKey))
ComputerInput.kif 1278-1283
(=>
    (instance ?ACT ShiftKeyHoldDown)
    (exists (?KEY)
        (and
            (instance ?KEY ShiftKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1271-1276

consequent
-------------------------


(=>
    (instance ?ACT ShiftClicking)
    (exists (?SHIFT)
        (and
            (subProcess ?SHIFT ?ACT)
            (instance ?SHIFT ShiftKeyHoldDown))))
ComputerInput.kif 1497-1502