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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MultiKeypressKey

appearance as argument number 1

(disjoint MultiKeypressKey ArrowKey) ComputerInput.kif 357-357 MultiKeypressKey is disjoint from ArrowKey
(disjoint MultiKeypressKey EnterKey) ComputerInput.kif 356-356 MultiKeypressKey is disjoint from EnterKey
(disjoint MultiKeypressKey NumberedFunctionKey) ComputerInput.kif 355-355 MultiKeypressKey is disjoint from NumberedFunctionKey
(documentation MultiKeypressKey EnglishLanguage "A MultiKeypressKey is a type of ComputerKeyboardKey (including ShiftKey, ControlKey, and AltKey) which is not intended to send a character from the keyboard when it is pressed, but to cause a different character (or set of characters) to be sent from a keyboard when another key is pressed while it is being held down.") ComputerInput.kif 350-354
(subclass MultiKeypressKey SpecialComputerKeyboardKey) ComputerInput.kif 349-349 MultiKeypressKey is a subclass of SpecialComputerKeyboardKey

appearance as argument number 2

(subclass AltKey MultiKeypressKey) ComputerInput.kif 378-378 AltKey is a subclass of MultiKeypressKey
(subclass ControlKey MultiKeypressKey) ComputerInput.kif 371-371 ControlKey is a subclass of MultiKeypressKey
(subclass FunctionKey MultiKeypressKey) ComputerInput.kif 359-359 FunctionKey is a subclass of MultiKeypressKey
(subclass ShiftKey MultiKeypressKey) ComputerInput.kif 365-365 ShiftKey is a subclass of MultiKeypressKey

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