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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DownArrowKey

Sigma KEE - DownArrowKey
DownArrowKey(down arrow key)

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


(disjoint DownArrowKey LeftArrowKey) ComputerInput.kif 316-316 Down arrow key is disjoint from left arrow key
(disjoint DownArrowKey RightArrowKey) ComputerInput.kif 315-315 Down arrow key is disjoint from right arrow key
(documentation DownArrowKey EnglishLanguage "A DownArrowKey is a type of ArrowKey on a ComputerKeypad with a downward pointing graphic.") ComputerInput.kif 313-314
(subclass DownArrowKey ArrowKey) ComputerInput.kif 312-312 Down arrow key is a subclass of arrow key

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


(disjoint UpArrowKey DownArrowKey) ComputerInput.kif 317-317 Up arrow key is disjoint from down arrow key
(termFormat EnglishLanguage DownArrowKey "down arrow key") domainEnglishFormat.kif 64780-64780

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


(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1815-1816 Pressing the down arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn DownArrowKey) SelectingActiveArea)
ComputerInput.kif 2302-2302 Pressing the down arrow key key isgnifies selecting active area


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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