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 子類 實時系統屬性 and RelationalAttribute

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


(subclass DesignPatternAttribute RealtimeSystemAttribute) QoSontology.kif 1368-1368 子類 設計模式屬性 and 實時系統屬性
(subclass FormOfAdaptationAttribute RealtimeSystemAttribute) QoSontology.kif 1464-1464 子類 適應屬性的形式 and 實時系統屬性
(subclass SystemBehaviorAttribute RealtimeSystemAttribute) QoSontology.kif 1336-1336 子類 系統行為屬性 and 實時系統屬性
(subclass TaskRelationAttribute RealtimeSystemAttribute) QoSontology.kif 1437-1437 子類 任務關係屬性 and 實時系統屬性
(subclass TimingRequirementAttribute RealtimeSystemAttribute) QoSontology.kif 1497-1497 子類 時間要求屬性 and 實時系統屬性
(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