No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 467-467 | 子類 電腦輸入設備 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. | QoSontology.kif 482-482 | 子類 TouchScreen 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 119-119 | 子類 ComputerIODevice 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 170-170 | 子類 ComputerInputButton 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. | ComputerInput.kif 403-403 | 子類 ScrollWheel 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 541-541 | 子類 ComputerMicrophone 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 606-606 | 子類 Trackball and 電腦輸入設備 |