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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArrowKey
ArrowKey

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


(disjoint ArrowKey EnterKey) ComputerInput.kif 317-317 ArrowKey is disjoint from EnterKey
(documentation ArrowKey EnglishLanguage "An ArrowKey is a type of ComputerKeyboardKey on a ComputerKeypad with a right, left, up, or down graphic.") ComputerInput.kif 315-316
(subclass ArrowKey SpecialComputerKeyboardKey) ComputerInput.kif 314-314 ArrowKey is a subclass of SpecialComputerKeyboardKey

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


(disjoint MultiKeypressKey ArrowKey) ComputerInput.kif 357-357 MultiKeypressKey is disjoint from ArrowKey
(disjoint NumberedFunctionKey ArrowKey) ComputerInput.kif 347-347 NumberedFunctionKey is disjoint from ArrowKey
(subclass DownArrowKey ArrowKey) ComputerInput.kif 334-334 DownArrowKey is a subclass of ArrowKey
(subclass LeftArrowKey ArrowKey) ComputerInput.kif 323-323 LeftArrowKey is a subclass of ArrowKey
(subclass RightArrowKey ArrowKey) ComputerInput.kif 319-319 RightArrowKey is a subclass of ArrowKey
(subclass UpArrowKey ArrowKey) ComputerInput.kif 328-328 UpArrowKey is a subclass of ArrowKey

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


(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)
ComputerInput.kif 1756-1756 Pressing the ArrowKey key isgnifies MovingCursor
(udaCanSignify
    (PressingKeyFn ArrowKey) WindowScrollingByUser)
ComputerInput.kif 1823-1823 Pressing the ArrowKey key isgnifies WindowScrollingByUser


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