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 1478-1478 | 子類 PrecisionFormOfAdaptation and 適應屬性的形式 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1480-1480 | 子類 SlackFormOfAdaptation and 適應屬性的形式 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1486-1486 | 子類 ConcurrencyFormOfAdaptation and 適應屬性的形式 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1492-1492 | 子類 ResourceAllocationFormOfAdaptation and 適應屬性的形式 |