| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 413-413 | TouchSensitiveComputerInputDevice 是 电脑输入设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 427-427 | ComputerTouchpad 是 TouchSensitiveComputerInputDevice 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 437-437 | ComputerTouchscreen 是 TouchSensitiveComputerInputDevice 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 450-450 | ComputerTouchscreenKeyboard 是 TouchSensitiveComputerInputDevice 的 subclass |
|
|