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 and 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 and ArrowKey

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


(disjoint DownArrowKey LeftArrowKey) ComputerInput.kif 316-316 不相交的 DownArrowKey and LeftArrowKey
(disjoint UpArrowKey LeftArrowKey) ComputerInput.kif 309-309 不相交的 UpArrowKey and LeftArrowKey
(termFormat EnglishLanguage LeftArrowKey "left arrow key") domainEnglishFormat.kif 65106-65106

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


(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1824-1825 Pressing LeftArrowKeyisgnifies 路口 HorizontalWindowScrolling and WindowScrollingByUser
(udaCanSignify
    (PressingKeyFn LeftArrowKey) SelectingActiveArea)
ComputerInput.kif 2311-2311 Pressing LeftArrowKeyisgnifies 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