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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - ArrowKey

appearance as argument number 1

(disjoint ArrowKey EnterKey) ComputerInput.kif 295-295
(documentation ArrowKey EnglishLanguage "An ArrowKey is a type of ComputerKeyboardKey on a ComputerKeypad with a right, left, up, or down graphic.") ComputerInput.kif 293-294
(subclass ArrowKey SpecialComputerKeyboardKey) ComputerInput.kif 292-292

appearance as argument number 2

(disjoint MultiKeypressKey ArrowKey) ComputerInput.kif 335-335
(disjoint NumberedFunctionKey ArrowKey) ComputerInput.kif 325-325
(subclass DownArrowKey ArrowKey) ComputerInput.kif 312-312
(subclass LeftArrowKey ArrowKey) ComputerInput.kif 301-301
(subclass RightArrowKey ArrowKey) ComputerInput.kif 297-297
(subclass UpArrowKey ArrowKey) ComputerInput.kif 306-306
(termFormat EnglishLanguage ArrowKey "arrow key") domainEnglishFormat.kif 64474-64474


    (PressingKeyFn ArrowKey) MovingCursor)
ComputerInput.kif 1741-1741
    (PressingKeyFn ArrowKey) WindowScrollingByUser)
ComputerInput.kif 1808-1808

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 3.0 is open source software produced by Articulate Software and its partners