| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 467-467 | 电脑输入设备 是 电脑硬件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 471-471 | ComputerKeyboard 是 电脑输入设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 482-482 | TouchScreen 是 电脑输入设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1708-1708 | 数据汇 是 电脑输入设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 119-119 | ComputerIODevice 是 电脑输入设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 164-164 | ComputerKeyboard_Generic 是 电脑输入设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 170-170 | ComputerInputButton 是 电脑输入设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 383-383 | ComputerMouse 是 电脑输入设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 403-403 | ScrollWheel 是 电脑输入设备 的 subclass |
| 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 541-541 | ComputerMicrophone 是 电脑输入设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 599-599 | Joystick 是 电脑输入设备 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 606-606 | Trackball 是 电脑输入设备 的 subclass |
|
|