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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArrowKey
ArrowKey

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


(disjoint ArrowKey EnterKey) ComputerInput.kif 295-295 ArrowKey è disgiunto da EnterKey
(documentation ArrowKey EnglishLanguage "An ArrowKey is a type of ComputerKeyboardKey on a ComputerKeypad with a right, left, up, or down graphic.") ComputerInput.kif 293-294
(subclass ArrowKey SpecialComputerKeyboardKey) ComputerInput.kif 292-292 ArrowKey è una sottoclasse di SpecialComputerKeyboardKey

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


(disjoint MultiKeypressKey ArrowKey) ComputerInput.kif 335-335 MultiKeypressKey è disgiunto da ArrowKey
(disjoint NumberedFunctionKey ArrowKey) ComputerInput.kif 325-325 NumberedFunctionKey è disgiunto da ArrowKey
(subclass DownArrowKey ArrowKey) ComputerInput.kif 312-312 DownArrowKey è una sottoclasse di ArrowKey
(subclass LeftArrowKey ArrowKey) ComputerInput.kif 301-301 LeftArrowKey è una sottoclasse di ArrowKey
(subclass RightArrowKey ArrowKey) ComputerInput.kif 297-297 RightArrowKey è una sottoclasse di ArrowKey
(subclass UpArrowKey ArrowKey) ComputerInput.kif 306-306 UpArrowKey è una sottoclasse di ArrowKey
(termFormat EnglishLanguage ArrowKey "arrow key") domainEnglishFormat.kif 64474-64474

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


(udaCanSignify
    (PressingKeyFn ArrowKey) MovingCursor)
ComputerInput.kif 1741-1741 udaCanSignify PressingKeyFn ArrowKey and MovingCursor
(udaCanSignify
    (PressingKeyFn ArrowKey) WindowScrollingByUser)
ComputerInput.kif 1808-1808 udaCanSignify PressingKeyFn ArrowKey and WindowScrollingByUser


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