No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1360-1360 |
子類 混合系統行為 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. |
domainEnglishFormat.kif 56655-56655 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56654-56654 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56653-56653 |
|