| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 59-59 | 子類 電腦硬件 and Product |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 596-596 | 子類 電腦硬件 and EngineeringComponent |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 288-288 | 子類 硬件系統 and 電腦硬件 |
| 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 477-477 | 子類 電腦輸出設備 and 電腦硬件 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 811-811 | 子類 電腦組件 and 電腦硬件 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1668-1668 | 子類 感測器 and 電腦硬件 |
|
|