| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1437-1437 | Task relation attribute is a subclass of realtime system attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1450-1450 | IndependentTaskRelation is a subclass of task relation attribute |
|
|