Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| designPattern |
| appearance as argument number 1 |
|
| (subrelation designPattern property) | QoSontology.kif 1475-1475 | design pattern is a subrelation of property |
| (instance designPattern BinaryPredicate) | QoSontology.kif 1476-1476 | design pattern is an instance of binary predicate |
| (domain designPattern 1 RealtimeSystem) | QoSontology.kif 1477-1477 | The number 1 argument of design pattern is an instance of realtime system |
| (domain designPattern 2 DesignPatternAttribute) | QoSontology.kif 1478-1478 | The number 2 argument of design pattern is an instance of design pattern attribute |
| (documentation designPattern EnglishLanguage "(designPattern ?System ?Attribute) holds if ?Attribute is a DesignPatternAttribute which describes the RealtimeSystem ?System.") | QoSontology.kif 1479-1481 | The number 2 argument of design pattern is an instance of design pattern attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage designPattern "%1 has the pattern %2") | domainEnglishFormat.kif 3236-3236 | |
| (format ChineseTraditionalLanguage designPattern "%1 有 pattern %2 ") | domainEnglishFormat.kif 3237-3237 | |
| (format ChineseLanguage designPattern "%1 有 pattern %2 ") | domainEnglishFormat.kif 3238-3238 | |
| (termFormat EnglishLanguage designPattern "design pattern") | domainEnglishFormat.kif 19248-19248 | |
| (termFormat ChineseTraditionalLanguage designPattern "設計模式") | domainEnglishFormat.kif 19249-19249 | |
| (termFormat ChineseLanguage designPattern "设计模式") | domainEnglishFormat.kif 19250-19250 |
| antecedent |
|
|
| (=> (designPattern ?System Guidance_DesignPattern) (systemBehavior ?System Transient_SystemBehavior)) |
QoSontology.kif 1502-1504 | If X has the pattern guidance- design pattern, then the behavior of X is transient- system behavior |
| (=> (designPattern ?System InitiationDesignPattern) (systemBehavior ?System TransientSystemBehavior)) |
QoSontology.kif 1521-1523 | If X has the pattern initiation design pattern, then the behavior of X is TransientSystemBehavior |
|