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
(instance PressingKeyFn UnaryFunction) ComputerInput.kif 1358-1358
(rangeSubclass PressingKeyFn SingleKeyPress) ComputerInput.kif 1360-1360

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
(udaCanSignify
    (PressingKeyFn ArrowKey) WindowScrollingByUser)
ComputerInput.kif 1808-1808
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1815-1816
(udaCanSignify
    (PressingKeyFn DownArrowKey) SelectingActiveArea)
ComputerInput.kif 2302-2302
(udaCanSignify
    (PressingKeyFn EnterKey) SubmitAction)
ComputerInput.kif 1836-1836
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1824-1825
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)
ComputerInput.kif 2311-2311
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1822-1823
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)
ComputerInput.kif 2301-2301
(udaCanSignify
    (PressingKeyFn TabKey) SelectingActiveArea)
ComputerInput.kif 2300-2300
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1813-1814
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)
ComputerInput.kif 2312-2312
(udaCanSignify
    (UnionFn
        (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)
ComputerInput.kif 2309-2310


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