| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1368-1368 | DesignPatternAttribute e' uma sub-classe de RealtimeSystemAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1381-1381 | GuidanceDesignPattern e' uma sub-classe de DesignPatternAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1403-1403 | InitiationDesignPattern e' uma sub-classe de DesignPatternAttribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1421-1421 | AssessmentDesignPattern e' uma sub-classe de DesignPatternAttribute |
|
|