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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftArrowKey
LeftArrowKey(left arrow key)

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


(disjoint LeftArrowKey RightArrowKey) ComputerInput.kif 304-304 Left arrow key is disjoint from right arrow key
(documentation LeftArrowKey EnglishLanguage "A LeftArrowKey is a type of ArrowKey on a ComputerKeypad with a left pointing graphic.") ComputerInput.kif 302-303
(subclass LeftArrowKey ArrowKey) ComputerInput.kif 301-301 Left arrow key is a subclass of arrow key

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


(disjoint DownArrowKey LeftArrowKey) ComputerInput.kif 316-316 Down arrow key is disjoint from left arrow key
(disjoint UpArrowKey LeftArrowKey) ComputerInput.kif 309-309 Up arrow key is disjoint from left arrow key
(termFormat EnglishLanguage LeftArrowKey "left arrow key") domainEnglishFormat.kif 65106-65106

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


(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1824-1825 Pressing the left arrow key key isgnifies the union of horizontal window scrolling and window scrolling by user
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)
ComputerInput.kif 2311-2311 Pressing the left arrow key key isgnifies selecting active area


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