| 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 48934-48934 | |
| (termFormat ChineseTraditionalLanguage RealtimeSystemAttribute "實時系統屬性") | domainEnglishFormat.kif 48933-48933 | |
| (termFormat EnglishLanguage RealtimeSystemAttribute "realtime system attribute") | domainEnglishFormat.kif 48932-48932 |
|
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