| 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 | The number 1 argument of design pattern is an instance of realtime system |
| (domain designPattern 2 DesignPatternAttribute) | QoSontology.kif 1376-1376 | The number 2 argument of design pattern is an instance of design pattern attribute |
| (instance designPattern BinaryPredicate) | QoSontology.kif 1374-1374 | design pattern is an instance of binary predicate |
| (subrelation designPattern property) | QoSontology.kif 1373-1373 | design pattern is a subrelation of property |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage designPattern "%1 有 pattern %2 ") | domainEnglishFormat.kif 3234-3234 | |
| (format ChineseTraditionalLanguage designPattern "%1 有 pattern %2 ") | domainEnglishFormat.kif 3233-3233 | |
| (format EnglishLanguage designPattern "%1 has the pattern %2") | domainEnglishFormat.kif 3232-3232 | |
| (termFormat ChineseLanguage designPattern "设计模式") | domainEnglishFormat.kif 19264-19264 | |
| (termFormat ChineseTraditionalLanguage designPattern "設計模式") | domainEnglishFormat.kif 19263-19263 | |
| (termFormat EnglishLanguage designPattern "design pattern") | domainEnglishFormat.kif 19262-19262 |
| antecedent |
|
|
| (=> (designPattern ?System Guidance-DesignPattern) (systemBehavior ?System Transient-SystemBehavior)) |
QoSontology.kif 1399-1401 |
|
| (=> (designPattern ?System InitiationDesignPattern) (systemBehavior ?System TransientSystemBehavior)) |
QoSontology.kif 1417-1419 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners