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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VerticalWindowScrolling

Sigma KEE - VerticalWindowScrolling
VerticalWindowScrolling

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


(documentation VerticalWindowScrolling EnglishLanguage "VerticalWindowScrolling consists of scrolling the image in a frame up or down. Such a scrolling direction is commonly used for text.") ComputerInput.kif 1811-1812
(subclass VerticalWindowScrolling WindowScrolling) ComputerInput.kif 1810-1810 VerticalWindowScrollingWindowScrollingsubclass

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


(termFormat EnglishLanguage VerticalWindowScrolling "vertical window scrolling") domainEnglishFormat.kif 65691-65691

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


(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1815-1816 Pressing DownArrowKeyisgnifies 结合 VerticalWindowScrollingWindowScrollingByUser
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1813-1814 Pressing UpArrowKeyisgnifies 结合 VerticalWindowScrollingWindowScrollingByUser


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