| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1497-1497 | TimingRequirementAttribute e' uma sub-classe de RealtimeSystemAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1509-1509 | ComplexityAttribute e' uma sub-classe de TimingRequirementAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1547-1547 | StrictnessAttribute e' uma sub-classe de TimingRequirementAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1611-1611 | AbstractionLevelAttribute e' uma sub-classe de TimingRequirementAttribute |
|
|