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 1388-1389
(domainSubclass PressingKeyFn 1 ComputerKeyboardKey) ComputerInput.kif 1386-1386
(instance PressingKeyFn UnaryFunction) ComputerInput.kif 1385-1385
(rangeSubclass PressingKeyFn SingleKeyPress) ComputerInput.kif 1387-1387

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


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

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


(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)
ComputerInput.kif 1770-1770
(udaCanSignify
    (PressingKeyFn ArrowKey) WindowScrollingByUser)
ComputerInput.kif 1837-1837
(udaCanSignify
    (PressingKeyFn DownArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1844-1845
(udaCanSignify
    (PressingKeyFn DownArrowKey) SelectingActiveArea)
ComputerInput.kif 2331-2331
(udaCanSignify
    (PressingKeyFn EnterKey) SubmitAction)
ComputerInput.kif 1865-1865
(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1853-1854
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)
ComputerInput.kif 2340-2340
(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1851-1852
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)
ComputerInput.kif 2330-2330
(udaCanSignify
    (PressingKeyFn TabKey) SelectingActiveArea)
ComputerInput.kif 2329-2329
(udaCanSignify
    (PressingKeyFn UpArrowKey)
    (IntersectionFn VerticalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1842-1843
(udaCanSignify
    (PressingKeyFn UpArrowKey) SelectingActiveArea)
ComputerInput.kif 2341-2341
(udaCanSignify
    (UnionFn
        (PressingKeyFn TabKey) ShiftKeyHoldDown) SelectingActiveArea)
ComputerInput.kif 2338-2339


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