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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VerticalWindowScrolling
VerticalWindowScrolling(vertical window scrolling)

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 Vertical window scrolling is a subclass of window scrolling

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


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

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


(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1815-1816 Pressing the down arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
(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


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