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 Le nombre 1 argument de PressingKeyFn est une sous-classe de ComputerKeyboardKey
(instance PressingKeyFn UnaryFunction) ComputerInput.kif 1358-1358 PressingKeyFn est une instance de function unaire
(rangeSubclass PressingKeyFn SingleKeyPress) ComputerInput.kif 1360-1360 Les valeurs retourn�es par PressingKeyFn sont des sous-classes de SingleKeyPress

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