designPattern |
appearance as argument number 1 |
(documentation designPattern EnglishLanguage "(designPattern ?System ?Attribute) holds if ?Attribute is a DesignPatternAttribute which describes the RealtimeSystem ?System.") | QoSontology.kif 1377-1379 | |
(domain designPattern 1 RealtimeSystem) | QoSontology.kif 1375-1375 | O argumento numero 1 de designPattern e' uma instancia de RealtimeSystem |
(domain designPattern 2 DesignPatternAttribute) | QoSontology.kif 1376-1376 | O argumento numero 2 de designPattern e' uma instancia de DesignPatternAttribute |
(instance designPattern BinaryPredicate) | QoSontology.kif 1374-1374 | designPattern e' uma instancia de Predicado Binario |
(subrelation designPattern property) | QoSontology.kif 1373-1373 | designPattern e' uma sub-relacao de property |
appearance as argument number 2 |
(format ChineseLanguage designPattern "%1 有 pattern %2 ") | domainEnglishFormat.kif 3242-3242 | |
(format ChineseTraditionalLanguage designPattern "%1 有 pattern %2 ") | domainEnglishFormat.kif 3241-3241 | |
(format EnglishLanguage designPattern "%1 has the pattern %2") | domainEnglishFormat.kif 3240-3240 | |
(termFormat ChineseLanguage designPattern "设计模式") | domainEnglishFormat.kif 19248-19248 | |
(termFormat ChineseTraditionalLanguage designPattern "設計模式") | domainEnglishFormat.kif 19247-19247 | |
(termFormat EnglishLanguage designPattern "design pattern") | domainEnglishFormat.kif 19246-19246 |
antecedent |
(=> (designPattern ?System Guidance-DesignPattern) (systemBehavior ?System Transient-SystemBehavior)) |
QoSontology.kif 1399-1401 | |
(=> (designPattern ?System InitiationDesignPattern) (systemBehavior ?System TransientSystemBehavior)) |
QoSontology.kif 1417-1419 |