| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1464-1464 | Form of adaptation attribute is a subclass of realtime system attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1478-1478 | PrecisionFormOfAdaptation is a subclass of form of adaptation attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1480-1480 | SlackFormOfAdaptation is a subclass of form of adaptation attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1486-1486 | ConcurrencyFormOfAdaptation is a subclass of form of adaptation attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1492-1492 | ResourceAllocationFormOfAdaptation is a subclass of form of adaptation attribute |
|
|