|
|
   TimingRequirementAttribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1498-1500 | |
| 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 |
| appearance as argument number 2 |
|
|
| 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 |
| 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. | domainEnglishFormat.kif 58132-58132 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58131-58131 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58130-58130 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1517-1517 | The number 2 argument of complexity is an instance of timing requirement attribute |
|
|
|