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 |