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


KB Term:  Term intersection
English Word: 

Sigma KEE - TimingRequirementAttribute
TimingRequirementAttribute(timing requirement attribute)

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


(subclass TimingRequirementAttribute RealtimeSystemAttribute) QoSontology.kif 1608-1608 Timing requirement attribute is a subclass of realtime system attribute
(documentation TimingRequirementAttribute EnglishLanguage "A subclass of RealtimeSystemAttribute which includes ComplexityAttribute, StrictnessAttribute, and AbstractionLevelAttribute.") QoSontology.kif 1609-1611 Timing requirement attribute is a subclass of realtime system attribute

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


(subclass ComplexityAttribute TimingRequirementAttribute) QoSontology.kif 1620-1620 Complexity attribute is a subclass of timing requirement attribute
(subclass StrictnessAttribute TimingRequirementAttribute) QoSontology.kif 1660-1660 Strictness attribute is a subclass of timing requirement attribute
(subclass AbstractionLevelAttribute TimingRequirementAttribute) QoSontology.kif 1730-1730 Abstraction level attribute is a subclass of timing requirement attribute
(termFormat EnglishLanguage TimingRequirementAttribute "timing requirement attribute") domainEnglishFormat.kif 58129-58129 Abstraction level attribute is a subclass of timing requirement attribute
(termFormat ChineseTraditionalLanguage TimingRequirementAttribute "時間要求屬性") domainEnglishFormat.kif 58130-58130 Abstraction level attribute is a subclass of timing requirement attribute
(termFormat ChineseLanguage TimingRequirementAttribute "时间要求属性") domainEnglishFormat.kif 58131-58131 Abstraction level attribute is a subclass of timing requirement attribute

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


(domain complexity 2 TimingRequirementAttribute) QoSontology.kif 1628-1628 The number 2 argument of complexity is an instance of timing requirement attribute


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners