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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShiftKey
ShiftKeyshift, shift_key

appearance as argument number 1
-------------------------


(disjoint ShiftKey FunctionKey) ComputerInput.kif 369-369 ShiftKey is disjoint from FunctionKey
(documentation ShiftKey EnglishLanguage "A ShiftKey is a type of ComputerKeyboardKey on a ComputerKeyboard often labeled ``Shift'' which affects the output of other keys if typed while it is being held down.") ComputerInput.kif 366-368
(subclass ShiftKey MultiKeypressKey) ComputerInput.kif 365-365 ShiftKey is a subclass of MultiKeypressKey

appearance as argument number 2
-------------------------


(disjoint AltKey ShiftKey) ComputerInput.kif 383-383 AltKey is disjoint from ShiftKey
(disjoint ControlKey ShiftKey) ComputerInput.kif 375-375 ControlKey is disjoint from ShiftKey

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners