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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftArrowKey
LeftArrowKey

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


(disjoint LeftArrowKey RightArrowKey) ComputerInput.kif 326-326 LeftArrowKey is disjoint from RightArrowKey
(documentation LeftArrowKey EnglishLanguage "A LeftArrowKey is a type of ArrowKey on a ComputerKeypad with a left pointing graphic.") ComputerInput.kif 324-325
(subclass LeftArrowKey ArrowKey) ComputerInput.kif 323-323 LeftArrowKey is a subclass of ArrowKey

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


(disjoint DownArrowKey LeftArrowKey) ComputerInput.kif 338-338 DownArrowKey is disjoint from LeftArrowKey
(disjoint UpArrowKey LeftArrowKey) ComputerInput.kif 331-331 UpArrowKey is disjoint from LeftArrowKey

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


(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1839-1840 Pressing the LeftArrowKey key isgnifies the union of HorizontalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)
ComputerInput.kif 2326-2326 Pressing the LeftArrowKey key isgnifies SelectingActiveArea


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