No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 20-20 | 子類 計算系統 and Product |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 30-30 | 子類 計算機網絡 and 計算系統 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 289-289 | 子類 硬件系統 and 計算系統 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1324-1324 | 子類 實時系統 and 計算系統 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1807-1807 | 子類 計算機資源 and 計算系統 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1835-1835 | 子類 服務器 and 計算系統 |