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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UpArrowKey
UpArrowKey

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


(disjoint UpArrowKey DownArrowKey) ComputerInput.kif 280-280 UpArrowKey is disjoint from DownArrowKey
(disjoint UpArrowKey LeftArrowKey) ComputerInput.kif 273-273 UpArrowKey is disjoint from LeftArrowKey
(disjoint UpArrowKey RightArrowKey) ComputerInput.kif 274-274 UpArrowKey is disjoint from RightArrowKey
(documentation UpArrowKey EnglishLanguage "A UpArrowKey is a type of ArrowKey on a ComputerKeypad with a upward pointing graphic.") ComputerInput.kif 272-272
(subclass UpArrowKey ArrowKey) ComputerInput.kif 271-271 UpArrowKey is a subclass of ArrowKey

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


(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1421-1422 Pressing the UpArrowKey key isgnifies the union of VerticalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)
ComputerInput.kif 1851-1851 Pressing the UpArrowKey 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