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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SystemBehaviorAttribute
SystemBehaviorAttribute(system behavior attribute)

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


(documentation SystemBehaviorAttribute EnglishLanguage "A subclass of RealtimeSystemAttribute, which includes the following Attributes: Periodic-SystemBehavior, Transient-SystemBehavior, and Hybrid-SystemBehavior.") QoSontology.kif 1337-1340
(subclass SystemBehaviorAttribute RealtimeSystemAttribute) QoSontology.kif 1336-1336 System behavior attribute is a subclass of realtime system attribute

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


(subclass Hybrid-SystemBehavior SystemBehaviorAttribute) QoSontology.kif 1360-1360 Hybrid- system behavior is a subclass of system behavior attribute
(subclass Periodic-SystemBehavior SystemBehaviorAttribute) QoSontology.kif 1350-1350 Periodic- system behavior is a subclass of system behavior attribute
(subclass Transient-SystemBehavior SystemBehaviorAttribute) QoSontology.kif 1355-1355 Transient- system behavior is a subclass of system behavior attribute
(termFormat ChineseLanguage SystemBehaviorAttribute "系统行为属性") domainEnglishFormat.kif 56693-56693 Transient- system behavior is a subclass of system behavior attribute
(termFormat ChineseTraditionalLanguage SystemBehaviorAttribute "系統行為屬性") domainEnglishFormat.kif 56692-56692 Transient- system behavior is a subclass of system behavior attribute
(termFormat EnglishLanguage SystemBehaviorAttribute "system behavior attribute") domainEnglishFormat.kif 56691-56691 Transient- system behavior is a subclass of system behavior attribute

appearance as argument number 3
-------------------------


(domain systemBehavior 2 SystemBehaviorAttribute) QoSontology.kif 1345-1345 The number 2 argument of system behavior is an instance of system behavior attribute


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