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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConsulateGeneral

Sigma KEE - LeftArrowKey
LeftArrowKey

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


(disjoint LeftArrowKey RightArrowKey) ComputerInput.kif 304-304 LeftArrowKey 和 % 2 是 disjoint
(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 LeftArrowKeyArrowKeysubclass

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


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

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


(udaCanSignify
    (PressingKeyFn LeftArrowKey)
    (IntersectionFn HorizontalWindowScrolling WindowScrollingByUser))
ComputerInput.kif 1824-1825 Pressing LeftArrowKeyisgnifies 结合 HorizontalWindowScrollingWindowScrollingByUser
(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