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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UpArrowKey

Sigma KEE - UpArrowKey
UpArrowKey

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


(disjoint UpArrowKey DownArrowKey) ComputerInput.kif 317-317 不相交的 UpArrowKey and DownArrowKey
(disjoint UpArrowKey LeftArrowKey) ComputerInput.kif 309-309 不相交的 UpArrowKey and LeftArrowKey
(disjoint UpArrowKey RightArrowKey) ComputerInput.kif 310-310 不相交的 UpArrowKey and RightArrowKey
(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 子類 UpArrowKey and ArrowKey

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


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

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


(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1813-1814 Pressing UpArrowKeyisgnifies 路口 VerticalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)
ComputerInput.kif 2312-2312 Pressing UpArrowKeyisgnifies SelectingActiveArea


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