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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RealtimeSystemAttribute
RealtimeSystemAttribute(realtime system attribute)

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


(documentation RealtimeSystemAttribute EnglishLanguage "The class of Attributes which describe instances of the class RealtimeSystem.") QoSontology.kif 1442-1443
(subclass RealtimeSystemAttribute RelationalAttribute) QoSontology.kif 1441-1441 Realtime system attribute is a subclass of relational attribute

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


(subclass DesignPatternAttribute RealtimeSystemAttribute) QoSontology.kif 1477-1477 Design pattern attribute is a subclass of realtime system attribute
(subclass FormOfAdaptationAttribute RealtimeSystemAttribute) QoSontology.kif 1578-1578 Form of adaptation attribute is a subclass of realtime system attribute
(subclass SystemBehaviorAttribute RealtimeSystemAttribute) QoSontology.kif 1445-1445 System behavior attribute is a subclass of realtime system attribute
(subclass TaskRelationAttribute RealtimeSystemAttribute) QoSontology.kif 1549-1549 Task relation attribute is a subclass of realtime system attribute
(subclass TimingRequirementAttribute RealtimeSystemAttribute) QoSontology.kif 1615-1615 Timing requirement attribute is a subclass of realtime system attribute
(termFormat ChineseLanguage RealtimeSystemAttribute "实时系统属性") domainEnglishFormat.kif 48965-48965 Timing requirement attribute is a subclass of realtime system attribute
(termFormat ChineseTraditionalLanguage RealtimeSystemAttribute "實時系統屬性") domainEnglishFormat.kif 48964-48964 Timing requirement attribute is a subclass of realtime system attribute
(termFormat EnglishLanguage RealtimeSystemAttribute "realtime system attribute") domainEnglishFormat.kif 48963-48963 Timing requirement attribute is a subclass of realtime system 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 is open source software produced by Articulate Software and its partners