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 262-262 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 261-261
(subclass ArrowKey SpecialComputerKeyboardKey) ComputerInput.kif 260-260 ArrowKey is a subclass of SpecialComputerKeyboardKey

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


(disjoint MultiKeypressKey ArrowKey) ComputerInput.kif 291-291 MultiKeypressKey is disjoint from ArrowKey
(disjoint NumberedFunctionKey ArrowKey) ComputerInput.kif 285-285 NumberedFunctionKey is disjoint from ArrowKey
(subclass DownArrowKey ArrowKey) ComputerInput.kif 276-276 DownArrowKey is a subclass of ArrowKey
(subclass LeftArrowKey ArrowKey) ComputerInput.kif 267-267 LeftArrowKey is a subclass of ArrowKey
(subclass RightArrowKey ArrowKey) ComputerInput.kif 264-264 RightArrowKey is a subclass of ArrowKey
(subclass UpArrowKey ArrowKey) ComputerInput.kif 271-271 UpArrowKey is a subclass of ArrowKey

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


(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)
ComputerInput.kif 1524-1524 Pressing the ArrowKey key isgnifies MovingCursor
(udaCanSignify
    (PressingKeyFn ArrowKey) WindowScrollingByUser)
ComputerInput.kif 1586-1586 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners