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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - systemBehavior
systemBehavior

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


(documentation systemBehavior EnglishLanguage "(systemBehavior ?System ?Attribute) holds if ?Attribute is a SystemBehaviorAttribute which describes the RealtimeSystem ?System.") QoSontology.kif 1351-1353
(domain systemBehavior 1 RealtimeSystem) QoSontology.kif 1349-1349
(domain systemBehavior 2 SystemBehaviorAttribute) QoSontology.kif 1350-1350
(instance systemBehavior BinaryPredicate) QoSontology.kif 1348-1348
(subrelation systemBehavior property) QoSontology.kif 1347-1347

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


(format ChineseLanguage systemBehavior "%1 的 behavior 是 %2 ") domainEnglishFormat.kif 4731-4731
(format ChineseTraditionalLanguage systemBehavior "%1 的 behavior 是 %2 ") domainEnglishFormat.kif 4730-4730
(format EnglishLanguage systemBehavior "the behavior of %1 is %2") domainEnglishFormat.kif 4729-4729
(termFormat ChineseLanguage systemBehavior "系统行为") domainEnglishFormat.kif 56626-56626
(termFormat ChineseTraditionalLanguage systemBehavior "系統行為") domainEnglishFormat.kif 56625-56625
(termFormat EnglishLanguage systemBehavior "system behavior") domainEnglishFormat.kif 56624-56624

antecedent
-------------------------


(=>
    (systemBehavior ?System Hybrid-SystemBehavior)
    (complexity ?System MultipleRequirement-Complexity))
QoSontology.kif 1548-1550
(=>
    (systemBehavior ?System Periodic-SystemBehavior)
    (complexity ?System SingleRequirement-Complexity))
QoSontology.kif 1538-1540
(=>
    (systemBehavior ?System Transient-SystemBehavior)
    (complexity ?System SingleRequirement-Complexity))
QoSontology.kif 1534-1536

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


(=>
    (designPattern ?System Guidance-DesignPattern)
    (systemBehavior ?System Transient-SystemBehavior))
QoSontology.kif 1404-1406
(=>
    (designPattern ?System Initiation-DesignPattern)
    (systemBehavior ?System Transient-SystemBehavior))
QoSontology.kif 1422-1424


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