| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 59-59 | 电脑硬件 是 产品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 596-596 | 电脑硬件 是 工程组件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 288-288 | 硬件系统 是 电脑硬件 的 subclass |
| 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 477-477 | 电脑输出设备 是 电脑硬件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 811-811 | 电脑组件 是 电脑硬件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1668-1668 | 感测器 是 电脑硬件 的 subclass |
|
|