No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1360-1360 |
混合系统行为 是 系统行为属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1350-1350 |
周期系统行为 是 系统行为属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1355-1355 |
瞬态系统行为 是 系统行为属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56653-56653 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56652-56652 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56651-56651 |
|