| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 467-467 | Computer input device is a subclass of computer hardware |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 471-471 | Computer keyboard is a subclass of computer input device |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 482-482 | Touch screen is a subclass of computer input device |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1708-1708 | Data sink is a subclass of computer input device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 119-119 | Computer I/O device is a subclass of computer input device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 164-164 | Generic computer keyboard is a subclass of computer input device |
| 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 383-383 | Computer mouse is a subclass of computer input device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 403-403 | Scroll wheel is a subclass of computer input device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 413-413 | Touch sensitive computer input device is a subclass of computer input device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 541-541 | Computer microphone is a subclass of computer input device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 599-599 | Joystick is a subclass of computer input device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 606-606 | Trackball is a subclass of computer input device |
|
|