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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimingRequirementAttribute

Sigma KEE - TimingRequirementAttribute
TimingRequirementAttribute

appearance as argument number 1
-------------------------


(documentation TimingRequirementAttribute EnglishLanguage "A subclass of RealtimeSystemAttribute which includes ComplexityAttribute, StrictnessAttribute, and AbstractionLevelAttribute.") QoSontology.kif 1498-1500
(subclass TimingRequirementAttribute RealtimeSystemAttribute) QoSontology.kif 1497-1497 TimingRequirementAttributeRealtimeSystemAttributesubclass では %n

appearance as argument number 2
-------------------------


(subclass AbstractionLevelAttribute TimingRequirementAttribute) QoSontology.kif 1611-1611 AbstractionLevelAttributeTimingRequirementAttributesubclass では %n
(subclass ComplexityAttribute TimingRequirementAttribute) QoSontology.kif 1509-1509 ComplexityAttributeTimingRequirementAttributesubclass では %n
(subclass StrictnessAttribute TimingRequirementAttribute) QoSontology.kif 1547-1547 StrictnessAttributeTimingRequirementAttributesubclass では %n
(termFormat ChineseLanguage TimingRequirementAttribute "时间要求属性") domainEnglishFormat.kif 58130-58130
(termFormat ChineseTraditionalLanguage TimingRequirementAttribute "時間要求屬性") domainEnglishFormat.kif 58129-58129
(termFormat EnglishLanguage TimingRequirementAttribute "timing requirement attribute") domainEnglishFormat.kif 58128-58128

appearance as argument number 3
-------------------------


(domain complexity 2 TimingRequirementAttribute) QoSontology.kif 1517-1517 complexity の数値 2 引数は TimingRequirementAttributeinstance では %n


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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