| 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 |
| 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 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 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 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 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 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 364-364 | Touchpad 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 |
|
|