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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ShiftKeyHoldDown

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


        (instance ?ACT ShiftKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY ShiftKey))
ComputerInput.kif 1305-1310
    (instance ?ACT ShiftKeyHoldDown)
    (exists (?KEY)
            (instance ?KEY ShiftKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1298-1303


    (instance ?ACT ShiftClicking)
    (exists (?SHIFT)
            (subProcess ?SHIFT ?ACT)
            (instance ?SHIFT ShiftKeyHoldDown))))
ComputerInput.kif 1524-1529