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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


        (instance ?ACT ControlKeyHoldDown)
        (patient ?ACT ?KEY)
        (instance ?KEY ComputerKeyboardKey))
    (instance ?KEY ControlKey))
ComputerInput.kif 1038-1043
    (instance ?ACT ControlKeyHoldDown)
    (exists (?KEY)
            (instance ?KEY ControlKey)
            (patient ?ACT ?KEY))))
ComputerInput.kif 1031-1036

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