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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DownArrowKey
DownArrowKey

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


(disjoint DownArrowKey LeftArrowKey) ComputerInput.kif 338-338 DownArrowKey is disjoint from LeftArrowKey
(disjoint DownArrowKey RightArrowKey) ComputerInput.kif 337-337 DownArrowKey is disjoint from RightArrowKey
(documentation DownArrowKey EnglishLanguage "A DownArrowKey is a type of ArrowKey on a ComputerKeypad with a downward pointing graphic.") ComputerInput.kif 335-336
(subclass DownArrowKey ArrowKey) ComputerInput.kif 334-334 DownArrowKey is a subclass of ArrowKey

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


(disjoint UpArrowKey DownArrowKey) ComputerInput.kif 339-339 UpArrowKey is disjoint from DownArrowKey

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


(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1830-1831 Pressing the DownArrowKey key isgnifies the union of VerticalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn DownArrowKey) SelectingActiveArea)
ComputerInput.kif 2317-2317 Pressing the DownArrowKey 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