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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1826-1827
(subclass VerticalWindowScrolling WindowScrolling) ComputerInput.kif 1825-1825 VerticalWindowScrolling is a subclass of WindowScrolling

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


(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1830-1831 Pressing the DownArrowKey key isgnifies the union of VerticalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1828-1829 Pressing the UpArrowKey key isgnifies the union of VerticalWindowScrolling and WindowScrollingByUser


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