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


KB Term:  Term intersection
English Word: 

Sigma KEE - PressingKeyFn
PressingKeyFn

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


(instance PressingKeyFn UnaryFunction) ComputerInput.kif 1374-1374 Pressing key fn is an instance of unary function
(domainSubclass PressingKeyFn 1 ComputerKeyboardKey) ComputerInput.kif 1375-1375 The number 1 argument of pressing key fn is a subclass of computer keyboard key
(rangeSubclass PressingKeyFn SingleKeyPress) ComputerInput.kif 1376-1376 The values returned by pressing key fn are subclasses of single key press
(documentation PressingKeyFn EnglishLanguage "(PressingKeyFn ?KEY_TYPE) indicates the type of action of typing a KeyboardKey of the specified type.") ComputerInput.kif 1377-1378 The values returned by pressing key fn are subclasses of single key press

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


(format EnglishLanguage PressingKeyFn "pressing the %1 key") domainEnglishFormat.kif 4204-4204
(format ChineseTraditionalLanguage PressingKeyFn "pressing %1 鍵") domainEnglishFormat.kif 4205-4205
(format ChineseLanguage PressingKeyFn "pressing %1 鍵") domainEnglishFormat.kif 4206-4206
(termFormat EnglishLanguage PressingKeyFn "pressing key fn") domainEnglishFormat.kif 65357-65357

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


(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)		 ComputerInput.kif 1757-1757 Pressing the arrow key key isgnifies moving cursor
(udaCanSignify
    (PressingKeyFn ArrowKey) WindowScrollingByUser)		 ComputerInput.kif 1824-1824 Pressing the arrow key key isgnifies window scrolling by user
(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
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1838-1839 Pressing the right arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1840-1841 Pressing the left arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn EnterKey) SubmitAction)		 ComputerInput.kif 1852-1852 Pressing the enter key key isgnifies submit action
(udaCanSignify
    (PressingKeyFn TabKey) SelectingActiveArea)		 ComputerInput.kif 2316-2316 Pressing the tab key key isgnifies selecting active area
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)		 ComputerInput.kif 2317-2317 Pressing the right arrow key key isgnifies selecting active area
(udaCanSignify
    (PressingKeyFn DownArrowKey) SelectingActiveArea)		 ComputerInput.kif 2318-2318 Pressing the down arrow key key isgnifies selecting active area
(udaCanSignify
    (UnionFn
        (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)		 ComputerInput.kif 2325-2326 The union of pressing the tab key key and shift key hold down isgnifies selecting active area
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)		 ComputerInput.kif 2327-2327 Pressing the left arrow key key isgnifies selecting active area
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)		 ComputerInput.kif 2328-2328 Pressing the up arrow key key isgnifies selecting active area


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