|
|
   DesignPatternAttribute
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1369-1371 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1368-1368 | Design pattern 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 1421-1421 | AssessmentDesignPattern is a subclass of design pattern attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1381-1381 | GuidanceDesignPattern is a subclass of design pattern attribute |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1403-1403 | InitiationDesignPattern is a subclass of design pattern attribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19254-19254 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19253-19253 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19252-19252 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1376-1376 | The number 2 argument of design pattern is an instance of design pattern attribute |
|
|
|