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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RightArrowKey
RightArrowKey(right arrow key)

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


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

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


(disjoint DownArrowKey RightArrowKey) ComputerInput.kif 315-315 Down arrow key is disjoint from right arrow key
(disjoint LeftArrowKey RightArrowKey) ComputerInput.kif 304-304 Left arrow key is disjoint from right arrow key
(disjoint UpArrowKey RightArrowKey) ComputerInput.kif 310-310 Up arrow key is disjoint from right arrow key
(termFormat EnglishLanguage RightArrowKey "right arrow key") domainEnglishFormat.kif 65417-65417

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


(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1822-1823 Pressing the right arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)
ComputerInput.kif 2301-2301 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 is open source software produced by Articulate Software and its partners