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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimingRequirementAttribute
TimingRequirementAttribute

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


(documentation TimingRequirementAttribute EnglishLanguage "A subclass of RealtimeSystemAttribute which includes ComplexityAttribute, StrictnessAttribute, and AbstractionLevelAttribute.") QoSontology.kif 1604-1606
(subclass TimingRequirementAttribute RealtimeSystemAttribute) QoSontology.kif 1603-1603

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


(subclass AbstractionLevelAttribute TimingRequirementAttribute) QoSontology.kif 1717-1717
(subclass ComplexityAttribute TimingRequirementAttribute) QoSontology.kif 1615-1615
(subclass StrictnessAttribute TimingRequirementAttribute) QoSontology.kif 1653-1653
(termFormat ChineseLanguage TimingRequirementAttribute "时间要求属性") domainEnglishFormat.kif 58169-58169
(termFormat ChineseTraditionalLanguage TimingRequirementAttribute "時間要求屬性") domainEnglishFormat.kif 58168-58168
(termFormat EnglishLanguage TimingRequirementAttribute "timing requirement attribute") domainEnglishFormat.kif 58167-58167

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


(domain complexity 2 TimingRequirementAttribute) QoSontology.kif 1623-1623


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