| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1464-1464 | 适应属性的形式 是 实时系统属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1478-1478 | PrecisionFormOfAdaptation 是 适应属性的形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1480-1480 | SlackFormOfAdaptation 是 适应属性的形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1486-1486 | ConcurrencyFormOfAdaptation 是 适应属性的形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1492-1492 | ResourceAllocationFormOfAdaptation 是 适应属性的形式 的 subclass |
|
|