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 170-170 |
ComputerInputButton 是 电脑输入设备 的 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. |
ComputerInput.kif 164-164 |
ComputerKeyboard_Generic 是 电脑输入设备 的 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 383-383 |
ComputerMouse 是 电脑输入设备 的 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 599-599 |
Joystick 是 电脑输入设备 的 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. |
QoSontology.kif 482-482 |
TouchScreen 是 电脑输入设备 的 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 606-606 |
Trackball 是 电脑输入设备 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16314-16314 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16313-16313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 16312-16312 |
|