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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeftArrowKey

Sigma KEE - LeftArrowKey
LeftArrowKey

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


(disjoint LeftArrowKey RightArrowKey) ComputerInput.kif 304-304 LeftArrowKey est disjoint de RightArrowKey
(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 LeftArrowKey est une sous-classe de ArrowKey

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


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

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


(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1824-1825 udaCanSignify PressingKeyFn LeftArrowKey and l' intersection de HorizontalWindowScrolling et WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)
ComputerInput.kif 2311-2311 udaCanSignify PressingKeyFn LeftArrowKey and SelectingActiveArea


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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