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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ArrowKey

Sigma KEE - ArrowKey
ArrowKey(arrow key)

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


(disjoint ArrowKey EnterKey) ComputerInput.kif 295-295 Arrow key is disjoint from enter key
(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 Arrow key is a subclass of special computer keyboard key

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


(disjoint MultiKeypressKey ArrowKey) ComputerInput.kif 335-335 Multi keypress key is disjoint from arrow key
(disjoint NumberedFunctionKey ArrowKey) ComputerInput.kif 325-325 Numbered function key is disjoint from arrow key
(subclass DownArrowKey ArrowKey) ComputerInput.kif 312-312 Down arrow key is a subclass of arrow key
(subclass LeftArrowKey ArrowKey) ComputerInput.kif 301-301 Left arrow key is a subclass of arrow key
(subclass RightArrowKey ArrowKey) ComputerInput.kif 297-297 Right arrow key is a subclass of arrow key
(subclass UpArrowKey ArrowKey) ComputerInput.kif 306-306 Up arrow key is a subclass of arrow key
(termFormat EnglishLanguage ArrowKey "arrow key") domainEnglishFormat.kif 64474-64474

statement
-------------------------


(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)
ComputerInput.kif 1741-1741 Pressing the arrow key key isgnifies moving cursor
(udaCanSignify
    (PressingKeyFn ArrowKey) WindowScrollingByUser)
ComputerInput.kif 1808-1808 Pressing the arrow key key isgnifies window scrolling by user


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