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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PressingKeyFn
PressingKeyFn

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


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

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


(format ChineseLanguage PressingKeyFn "pressing %1 鍵") domainEnglishFormat.kif 4202-4202
(format ChineseTraditionalLanguage PressingKeyFn "pressing %1 鍵") domainEnglishFormat.kif 4201-4201
(format EnglishLanguage PressingKeyFn "pressing the %1 key") domainEnglishFormat.kif 4200-4200
(termFormat EnglishLanguage PressingKeyFn "pressing key fn") domainEnglishFormat.kif 65402-65402

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


(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)		 ComputerInput.kif 1741-1741 Pressing the arrow key key isgnifies moving cursor
(udaCanSignify
    (PressingKeyFn ArrowKey) WindowScrollingByUser)		 ComputerInput.kif 1808-1808 Pressing the arrow key key isgnifies window scrolling by user
(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 DownArrowKey) SelectingActiveArea)		 ComputerInput.kif 2302-2302 Pressing the down arrow key key isgnifies selecting active area
(udaCanSignify
    (PressingKeyFn EnterKey) SubmitAction)		 ComputerInput.kif 1836-1836 Pressing the enter key key isgnifies submit action
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1824-1825 Pressing the left arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)		 ComputerInput.kif 2311-2311 Pressing the left arrow key key isgnifies selecting active area
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1822-1823 Pressing the right arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)		 ComputerInput.kif 2301-2301 Pressing the right arrow key key isgnifies selecting active area
(udaCanSignify
    (PressingKeyFn TabKey) SelectingActiveArea)		 ComputerInput.kif 2300-2300 Pressing the tab key key isgnifies selecting active area
(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
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)		 ComputerInput.kif 2312-2312 Pressing the up arrow key key isgnifies selecting active area
(udaCanSignify
    (UnionFn
        (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)		 ComputerInput.kif 2309-2310 The union of pressing the tab key key and shift key hold down 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 is open source software produced by Articulate Software and its partners