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 269-269 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 268-268
(subclass LeftArrowKey ArrowKey) ComputerInput.kif 267-267 LeftArrowKey is a subclass of ArrowKey

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


(disjoint DownArrowKey LeftArrowKey) ComputerInput.kif 279-279 DownArrowKey is disjoint from LeftArrowKey
(disjoint UpArrowKey LeftArrowKey) ComputerInput.kif 273-273 UpArrowKey is disjoint from LeftArrowKey

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


(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1430-1431 Pressing the LeftArrowKey key isgnifies the union of HorizontalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)
ComputerInput.kif 1850-1850 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners