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 1329-1329 | 子類 硬件系統 and 實時系統 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1330-1330 | 子類 計算機網絡 and 實時系統 |