| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1497-1497 | Timing requirement attribute is a subclass of realtime system attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1509-1509 | Complexity attribute is a subclass of timing requirement attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1547-1547 | Strictness attribute is a subclass of timing requirement attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1611-1611 | Abstraction level attribute is a subclass of timing requirement attribute |
|
|