Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - designPattern
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 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 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


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