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 304-304
(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

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


(disjoint DownArrowKey LeftArrowKey) ComputerInput.kif 316-316
(disjoint UpArrowKey LeftArrowKey) ComputerInput.kif 309-309
(termFormat EnglishLanguage LeftArrowKey "left arrow key") domainEnglishFormat.kif 65108-65108

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


(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1824-1825
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)
ComputerInput.kif 2311-2311


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