Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - VerticalWindowScrolling
VerticalWindowScrolling(vertical window scrolling)

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


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

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


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

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


(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1829-1830 Pressing the up arrow key key isgnifies the union of vertical window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1831-1832 Pressing the down 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners