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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerKeypad

Sigma KEE - ComputerKeypad
ComputerKeypad

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

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


(subclass ComputerTouchscreenKeypad ComputerKeypad) ComputerInput.kif 465-465
(termFormat EnglishLanguage ComputerKeypad "computer keypad") domainEnglishFormat.kif 64678-64678


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