No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 119-119 |
子類 ComputerIODevice and 電腦輸入設備 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 170-170 |
子類 ComputerInputButton and 電腦輸入設備 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 471-471 |
子類 ComputerKeyboard and 電腦輸入設備 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 164-164 |
子類 ComputerKeyboard_Generic and 電腦輸入設備 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 541-541 |
子類 ComputerMicrophone and 電腦輸入設備 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 383-383 |
子類 ComputerMouse and 電腦輸入設備 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1708-1708 |
子類 數據匯 and 電腦輸入設備 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 599-599 |
子類 Joystick and 電腦輸入設備 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 403-403 |
子類 ScrollWheel and 電腦輸入設備 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 482-482 |
子類 TouchScreen and 電腦輸入設備 |
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 606-606 |
子類 Trackball and 電腦輸入設備 |
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 |
|