Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - RightArrowKey
RightArrowKey(right arrow key)

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


(subclass RightArrowKey ArrowKey) ComputerInput.kif 313-313 Right arrow key is a subclass of arrow key
(documentation RightArrowKey EnglishLanguage "A RightArrowKey is a type of ArrowKey on a ComputerKeypad with a right pointing graphic.") ComputerInput.kif 314-315 Right arrow key is a subclass of arrow key

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


(disjoint LeftArrowKey RightArrowKey) ComputerInput.kif 320-320 Left arrow key is disjoint from right arrow key
(disjoint UpArrowKey RightArrowKey) ComputerInput.kif 326-326 Up arrow key is disjoint from right arrow key
(disjoint DownArrowKey RightArrowKey) ComputerInput.kif 331-331 Down arrow key is disjoint from right arrow key
(termFormat EnglishLanguage RightArrowKey "right arrow key") domainEnglishFormat.kif 65418-65418 Down arrow key is disjoint from right arrow key

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


(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1838-1839 Pressing the right arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)		 ComputerInput.kif 2317-2317 Pressing the right arrow key key isgnifies selecting active area


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners