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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerInputButton
ComputerInputButton(computer input button)

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 171-174
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 170-170 Computer input button is a subclass of computer input device

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 239-239 Computer keyboard key is a subclass of computer input button
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 929-929 GUI button is a subclass of computer input button
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 197-197 Left CI button is a subclass of computer input button
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 215-215 Middle CI button is a subclass of computer input button
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 176-176 Mouse button is a subclass of computer input button
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 185-185 Physical left CI button is a subclass of computer input button
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 179-179 Physical right CI button is a subclass of computer input button
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 191-191 Right CI button is a subclass of computer input button
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 364-364 Touchpad key is a subclass of computer input button
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64674-64674


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