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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RightArrowKey
RightArrowKey

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 265-265
(subclass RightArrowKey ArrowKey) ComputerInput.kif 264-264 RightArrowKey is a subclass of ArrowKey

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


(disjoint DownArrowKey RightArrowKey) ComputerInput.kif 278-278 DownArrowKey is disjoint from RightArrowKey
(disjoint LeftArrowKey RightArrowKey) ComputerInput.kif 269-269 LeftArrowKey is disjoint from RightArrowKey
(disjoint UpArrowKey RightArrowKey) ComputerInput.kif 274-274 UpArrowKey is disjoint from RightArrowKey

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


(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1597-1598 Pressing the RightArrowKey key isgnifies the union of HorizontalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)
ComputerInput.kif 2011-2011 Pressing the RightArrowKey key isgnifies SelectingActiveArea


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