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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerKeypad
ComputerKeypad(computer keypad)

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


(documentation ComputerKeypad EnglishLanguage "A ComputerKeyboard_Generic that does not have a typewriter layout.") ComputerInput.kif 378-379
(subclass ComputerKeypad ComputerKeyboard_Generic) ComputerInput.kif 377-377 Computer keypad is a subclass of generic computer keyboard

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


(subclass ComputerTouchscreenKeypad ComputerKeypad) ComputerInput.kif 465-465 Computer touchscreen keypad is a subclass of computer keypad
(termFormat EnglishLanguage ComputerKeypad "computer keypad") domainEnglishFormat.kif 64678-64678


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