No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1368-1368 |
子類 設計模式屬性 and 實時系統屬性 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1464-1464 |
子類 適應屬性的形式 and 實時系統屬性 |
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 1437-1437 |
子類 任務關係屬性 and 實時系統屬性 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1497-1497 |
子類 時間要求屬性 and 實時系統屬性 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48934-48934 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48933-48933 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48932-48932 |
|