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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - DownArrowKey

appearance as argument number 1

(disjoint DownArrowKey LeftArrowKey) ComputerInput.kif 316-316 DownArrowKey ist dijunkt von LeftArrowKey %n{nicht}
(disjoint DownArrowKey RightArrowKey) ComputerInput.kif 315-315 DownArrowKey ist dijunkt von RightArrowKey %n{nicht}
(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 DownArrowKey ist eine teilkategorie von ArrowKey

appearance as argument number 2

(disjoint UpArrowKey DownArrowKey) ComputerInput.kif 317-317 UpArrowKey ist dijunkt von DownArrowKey %n{nicht}
(termFormat EnglishLanguage DownArrowKey "down arrow key") domainEnglishFormat.kif 64780-64780


    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1815-1816 udaCanSignify PressingKeyFn DownArrowKey and der durchschnitt von VerticalWindowScrolling und WindowScrollingByUser
    (PressingKeyFn DownArrowKey) SelectingActiveArea)
ComputerInput.kif 2302-2302 udaCanSignify PressingKeyFn DownArrowKey and 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 3.0 is open source software produced by Articulate Software and its partners