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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RightArrowKey

Sigma KEE - RightArrowKey
RightArrowKey

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


(documentation RightArrowKey EnglishLanguage "A RightArrowKey is a type of ArrowKey on a ComputerKeypad with a right pointing graphic.") ComputerInput.kif 298-299
(subclass RightArrowKey ArrowKey) ComputerInput.kif 297-297 RightArrowKey est une sous-classe de ArrowKey

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


(disjoint DownArrowKey RightArrowKey) ComputerInput.kif 315-315 DownArrowKey est disjoint de RightArrowKey
(disjoint LeftArrowKey RightArrowKey) ComputerInput.kif 304-304 LeftArrowKey est disjoint de RightArrowKey
(disjoint UpArrowKey RightArrowKey) ComputerInput.kif 310-310 UpArrowKey est disjoint de RightArrowKey
(termFormat EnglishLanguage RightArrowKey "right arrow key") domainEnglishFormat.kif 65415-65415

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


(udaCanSignify
    (PressingKeyFn RightArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1822-1823 udaCanSignify PressingKeyFn RightArrowKey and l' intersection de HorizontalWindowScrolling et WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn RightArrowKey) SelectingActiveArea)
ComputerInput.kif 2301-2301 udaCanSignify PressingKeyFn RightArrowKey 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