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
(domain designPattern 2 DesignPatternAttribute) QoSontology.kif 1376-1376
(instance designPattern BinaryPredicate) QoSontology.kif 1374-1374
(subrelation designPattern property) QoSontology.kif 1373-1373

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