No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1619-1619 |
域 抽象層次, 1 and 實時系統 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1516-1516 |
域 複雜, 1 and 實時系統 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1375-1375 |
域 設計模式, 1 and 實時系統 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1472-1472 |
域 適應形式, 1 and 實時系統 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1503-1503 |
域 粒度, 1 and 實時系統 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1555-1555 |
域 嚴格, 1 and 實時系統 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1344-1344 |
域 系統行為, 1 and 實時系統 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1444-1444 |
域 任務關係, 1 and 實時系統 |