No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1368-1368 | DesignPatternAttribute est une sous-classe de RealtimeSystemAttribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1381-1381 | GuidanceDesignPattern est une sous-classe de DesignPatternAttribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1403-1403 | InitiationDesignPattern est une sous-classe de DesignPatternAttribute |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1421-1421 | AssessmentDesignPattern est une sous-classe de DesignPatternAttribute |