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

Formal Language: 



KB Term:  Term intersection
English Word: 

  designPattern

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 designPattern の数値 1 引数は RealtimeSysteminstance では %n
(domain designPattern 2 DesignPatternAttribute) QoSontology.kif 1376-1376 designPattern の数値 2 引数は DesignPatternAttributeinstance では %n
(instance designPattern BinaryPredicate) QoSontology.kif 1374-1374 designPattern2進述語instance では %n
(subrelation designPattern property) QoSontology.kif 1373-1373 designPatternpropertysubrelation では %n

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

Show without tree


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