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


KB Term:  Term intersection
English Word: 

Sigma KEE - Transient_SystemBehavior
Transient_SystemBehavior(transient- system behavior)

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


(subclass Transient_SystemBehavior SystemBehaviorAttribute) QoSontology.kif 1457-1457 Transient- system behavior is a subclass of system behavior attribute
(documentation Transient_SystemBehavior EnglishLanguage "An instance of the class RealtimeSystem shows Transient_SystemBehavior when it is activated by sporadic events.") QoSontology.kif 1458-1460 Transient- system behavior is a subclass of system behavior attribute

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


(subAttribute Hybrid_SystemBehavior Transient_SystemBehavior) QoSontology.kif 1463-1463 Hybrid- system behavior is a subattribute of transient- system behavior
(termFormat EnglishLanguage Transient_SystemBehavior "transient- system behavior") domainEnglishFormat.kif 58831-58831 Hybrid- system behavior is a subattribute of transient- system behavior
(termFormat ChineseTraditionalLanguage Transient_SystemBehavior "瞬態系統行為") domainEnglishFormat.kif 58832-58832 Hybrid- system behavior is a subattribute of transient- system behavior
(termFormat ChineseLanguage Transient_SystemBehavior "瞬态系统行为") domainEnglishFormat.kif 58833-58833 Hybrid- system behavior is a subattribute of transient- system behavior

consequent
-------------------------


(=>
    (designPattern ?System Guidance_DesignPattern)
    (systemBehavior ?System Transient_SystemBehavior))
QoSontology.kif 1502-1504 If X has the pattern guidance- design pattern, then the behavior of X is transient- system behavior


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners