| 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 289-289 | 硬件系统 是 计算系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1329-1329 | 硬件系统 是 实时系统 的 subclass |
|
|