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 1439-1440
(subclass RealtimeSystemAttribute RelationalAttribute) QoSontology.kif 1438-1438

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


(subclass DesignPatternAttribute RealtimeSystemAttribute) QoSontology.kif 1474-1474
(subclass FormOfAdaptationAttribute RealtimeSystemAttribute) QoSontology.kif 1570-1570
(subclass SystemBehaviorAttribute RealtimeSystemAttribute) QoSontology.kif 1442-1442
(subclass TaskRelationAttribute RealtimeSystemAttribute) QoSontology.kif 1543-1543
(subclass TimingRequirementAttribute RealtimeSystemAttribute) QoSontology.kif 1603-1603
(termFormat ChineseLanguage RealtimeSystemAttribute "实时系统属性") domainEnglishFormat.kif 48967-48967
(termFormat ChineseTraditionalLanguage RealtimeSystemAttribute "實時系統屬性") domainEnglishFormat.kif 48966-48966
(termFormat EnglishLanguage RealtimeSystemAttribute "realtime system attribute") domainEnglishFormat.kif 48965-48965


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