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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - NumberedFunctionKey

appearance as argument number 1

(disjoint NumberedFunctionKey ArrowKey) ComputerInput.kif 347-347 NumberedFunctionKey is disjoint from ArrowKey
(disjoint NumberedFunctionKey EnterKey) ComputerInput.kif 346-346 NumberedFunctionKey is disjoint from EnterKey
(documentation NumberedFunctionKey EnglishLanguage "A NumberedFunctionKey is a type of ComputerKeyboardKey on a ComputerKeyboard that does not send a single character to a computer to which it is attached. A ComputerKeyboard either has no NumberedFunctionKey or more than one NumberedFunctionKey.") ComputerInput.kif 342-345
(subclass NumberedFunctionKey SpecialComputerKeyboardKey) ComputerInput.kif 341-341 NumberedFunctionKey is a subclass of SpecialComputerKeyboardKey

appearance as argument number 2

(disjoint MultiKeypressKey NumberedFunctionKey) ComputerInput.kif 355-355 MultiKeypressKey is disjoint from NumberedFunctionKey

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