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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RealtimeSystemAttribute
RealtimeSystemAttribute(实时系统属性)

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


(documentation RealtimeSystemAttribute EnglishLanguage "The class of Attributes which describe instances of the class RealtimeSystem.") QoSontology.kif 1333-1334
(subclass RealtimeSystemAttribute RelationalAttribute) QoSontology.kif 1332-1332 实时系统属性关联属性subclass

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


(subclass DesignPatternAttribute RealtimeSystemAttribute) QoSontology.kif 1368-1368 设计模式属性实时系统属性subclass
(subclass FormOfAdaptationAttribute RealtimeSystemAttribute) QoSontology.kif 1464-1464 适应属性的形式实时系统属性subclass
(subclass SystemBehaviorAttribute RealtimeSystemAttribute) QoSontology.kif 1336-1336 系统行为属性实时系统属性subclass
(subclass TaskRelationAttribute RealtimeSystemAttribute) QoSontology.kif 1437-1437 任务关系属性实时系统属性subclass
(subclass TimingRequirementAttribute RealtimeSystemAttribute) QoSontology.kif 1497-1497 时间要求属性实时系统属性subclass
(termFormat ChineseLanguage RealtimeSystemAttribute "实时系统属性") domainEnglishFormat.kif 48932-48932
(termFormat ChineseTraditionalLanguage RealtimeSystemAttribute "實時系統屬性") domainEnglishFormat.kif 48931-48931
(termFormat EnglishLanguage RealtimeSystemAttribute "realtime system attribute") domainEnglishFormat.kif 48930-48930


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