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 RealtimeSystemAttribute関係属性subclass では %n

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


(subclass DesignPatternAttribute RealtimeSystemAttribute) QoSontology.kif 1368-1368 DesignPatternAttributeRealtimeSystemAttributesubclass では %n
(subclass FormOfAdaptationAttribute RealtimeSystemAttribute) QoSontology.kif 1464-1464 FormOfAdaptationAttributeRealtimeSystemAttributesubclass では %n
(subclass SystemBehaviorAttribute RealtimeSystemAttribute) QoSontology.kif 1336-1336 SystemBehaviorAttributeRealtimeSystemAttributesubclass では %n
(subclass TaskRelationAttribute RealtimeSystemAttribute) QoSontology.kif 1437-1437 TaskRelationAttributeRealtimeSystemAttributesubclass では %n
(subclass TimingRequirementAttribute RealtimeSystemAttribute) QoSontology.kif 1497-1497 TimingRequirementAttributeRealtimeSystemAttributesubclass では %n
(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