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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UpArrowKey
UpArrowKey(up arrow key)

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


(disjoint UpArrowKey DownArrowKey) ComputerInput.kif 317-317 Up arrow key is disjoint from down arrow key
(disjoint UpArrowKey LeftArrowKey) ComputerInput.kif 309-309 Up arrow key is disjoint from left arrow key
(disjoint UpArrowKey RightArrowKey) ComputerInput.kif 310-310 Up arrow key is disjoint from right arrow key
(documentation UpArrowKey EnglishLanguage "A UpArrowKey is a type of ArrowKey on a ComputerKeypad with a upward pointing graphic.") ComputerInput.kif 307-308
(subclass UpArrowKey ArrowKey) ComputerInput.kif 306-306 Up arrow key is a subclass of arrow key

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


(termFormat EnglishLanguage UpArrowKey "up arrow key") domainEnglishFormat.kif 65670-65670

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


(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1813-1814 Pressing the up arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)
ComputerInput.kif 2312-2312 Pressing the up arrow key key isgnifies selecting active area


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