| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 20-20 | 计算系统 是 产品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 30-30 | 计算机网络 是 计算系统 的 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 1324-1324 | 实时系统 是 计算系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1807-1807 | 计算机资源 是 计算系统 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1835-1835 | 服务器 是 计算系统 的 subclass |
|
|