| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 413-413 | 子類 TouchSensitiveComputerInputDevice and 電腦輸入設備 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 427-427 | 子類 ComputerTouchpad and TouchSensitiveComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 437-437 | 子類 ComputerTouchscreen and TouchSensitiveComputerInputDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 450-450 | 子類 ComputerTouchscreenKeyboard and TouchSensitiveComputerInputDevice |
|
|