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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PressingKeyFn

 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 PressingKeyFn 的 1 数量 是 ComputerKeyboardKey 的 subclass
(instance PressingKeyFn UnaryFunction) ComputerInput.kif 1358-1358 PressingKeyFn 是 一元函数 的 instance
(rangeSubclass PressingKeyFn SingleKeyPress) ComputerInput.kif 1360-1360 PressingKeyFn 的所得值 是 SingleKeyPress 的 subclass

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 65354-65354

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


(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)		 ComputerInput.kif 1741-1741 Pressing ArrowKey 鍵 isgnifies MovingCursor
(udaCanSignify
    (PressingKeyFn ArrowKey) WindowScrollingByUser)		 ComputerInput.kif 1808-1808 Pressing ArrowKey 鍵 isgnifies WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1815-1816 Pressing DownArrowKey 鍵 isgnifies 结合 VerticalWindowScrolling 和 WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn DownArrowKey) SelectingActiveArea)		 ComputerInput.kif 2302-2302 Pressing DownArrowKey 鍵 isgnifies SelectingActiveArea
(udaCanSignify
    (PressingKeyFn EnterKey) SubmitAction)		 ComputerInput.kif 1836-1836 Pressing EnterKey 鍵 isgnifies SubmitAction
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1824-1825 Pressing LeftArrowKey 鍵 isgnifies 结合 HorizontalWindowScrolling 和 WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)		 ComputerInput.kif 2311-2311 Pressing LeftArrowKey 鍵 isgnifies SelectingActiveArea
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1822-1823 Pressing RightArrowKey 鍵 isgnifies 结合 HorizontalWindowScrolling 和 WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)		 ComputerInput.kif 2301-2301 Pressing RightArrowKey 鍵 isgnifies SelectingActiveArea
(udaCanSignify
    (PressingKeyFn TabKey) SelectingActiveArea)		 ComputerInput.kif 2300-2300 Pressing TabKey 鍵 isgnifies SelectingActiveArea
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))		 ComputerInput.kif 1813-1814 Pressing UpArrowKey 鍵 isgnifies 结合 VerticalWindowScrolling 和 WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)		 ComputerInput.kif 2312-2312 Pressing UpArrowKey 鍵 isgnifies SelectingActiveArea
(udaCanSignify
    (UnionFn
        (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)		 ComputerInput.kif 2309-2310 结合 pressing TabKey 鍵 和 ShiftKeyHoldDown isgnifies SelectingActiveArea


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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