| appearance as argument number 1 |
|
| (documentation designPattern EnglishLanguage "(designPattern ?System ?Attribute) holds if ?Attribute is a DesignPatternAttribute which describes the RealtimeSystem ?System.") | QoSontology.kif 1486-1488 | |
| (domain designPattern 1 RealtimeSystem) | QoSontology.kif 1484-1484 | The number 1 argument of design pattern is an instance of realtime system |
| (domain designPattern 2 DesignPatternAttribute) | QoSontology.kif 1485-1485 | The number 2 argument of design pattern is an instance of design pattern attribute |
| (instance designPattern BinaryPredicate) | QoSontology.kif 1483-1483 | design pattern is an instance of binary predicate |
| (subrelation designPattern property) | QoSontology.kif 1482-1482 | design pattern is a subrelation of property |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage designPattern "%1 有 pattern %2 ") | domainEnglishFormat.kif 3238-3238 | |
| (format ChineseTraditionalLanguage designPattern "%1 有 pattern %2 ") | domainEnglishFormat.kif 3237-3237 | |
| (format EnglishLanguage designPattern "%1 has the pattern %2") | domainEnglishFormat.kif 3236-3236 | |
| (termFormat ChineseLanguage designPattern "设计模式") | domainEnglishFormat.kif 19263-19263 | |
| (termFormat ChineseTraditionalLanguage designPattern "設計模式") | domainEnglishFormat.kif 19262-19262 | |
| (termFormat EnglishLanguage designPattern "design pattern") | domainEnglishFormat.kif 19261-19261 |
| antecedent |
|
|
| (=> (designPattern ?System Guidance_DesignPattern) (systemBehavior ?System Transient_SystemBehavior)) |
QoSontology.kif 1509-1511 |
|
| (=> (designPattern ?System InitiationDesignPattern) (systemBehavior ?System TransientSystemBehavior)) |
QoSontology.kif 1528-1530 |
|
|
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