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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ControlKey

Sigma KEE - ControlKey
ControlKey

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


(disjoint ControlKey FunctionKey) ComputerInput.kif 352-352
(disjoint ControlKey ShiftKey) ComputerInput.kif 351-351
(documentation ControlKey EnglishLanguage "A ControlKey is a type of ComputerKeyboardKey on a ComputerKeyboard often labeled ``Ctrl'' which affects the output of other keys if typed while it is being held down.") ComputerInput.kif 350-350
(subclass ControlKey MultiKeypressKey) ComputerInput.kif 349-349

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


(disjoint AltKey ControlKey) ComputerInput.kif 356-356

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


(=>
    (and
        (instance ?ACT ControlKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY ControlKey))
ComputerInput.kif 1024-1029
(=>
    (instance ?ACT ControlKeyHoldDown)
    (exists (?KEY)
        (and
            (instance ?KEY ControlKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1017-1022


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners