No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1336-1336 | 子類 系統行為屬性 and 實時系統屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1350-1350 | 子類 週期系統行為 and 系統行為屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1355-1355 | 子類 瞬態系統行為 and 系統行為屬性 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1360-1360 | 子類 混合系統行為 and 系統行為屬性 |
![]() |