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


KB Term:  Term intersection
English Word: 

  systemBehavior

 Sigma KEE - systemBehavior
systemBehavior

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


(subrelation systemBehavior property) QoSontology.kif 1444-1444 system behavior is a subrelation of property
(instance systemBehavior BinaryPredicate) QoSontology.kif 1445-1445 system behavior is an instance of binary predicate
(domain systemBehavior 1 RealtimeSystem) QoSontology.kif 1446-1446 The number 1 argument of system behavior is an instance of realtime system
(domain systemBehavior 2 SystemBehaviorAttribute) QoSontology.kif 1447-1447 The number 2 argument of system behavior is an instance of system behavior attribute
(documentation systemBehavior EnglishLanguage "(systemBehavior ?System ?Attribute) holds if ?Attribute is a SystemBehaviorAttribute which describes the RealtimeSystem ?System.") QoSontology.kif 1448-1450 The number 2 argument of system behavior is an instance of system behavior attribute

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


(format EnglishLanguage systemBehavior "the behavior of %1 is %2") domainEnglishFormat.kif 4724-4724
(format ChineseTraditionalLanguage systemBehavior "%1 的 behavior 是 %2 ") domainEnglishFormat.kif 4725-4725
(format ChineseLanguage systemBehavior "%1 的 behavior 是 %2 ") domainEnglishFormat.kif 4726-4726
(termFormat EnglishLanguage systemBehavior "system behavior") domainEnglishFormat.kif 56642-56642
(termFormat ChineseTraditionalLanguage systemBehavior "系統行為") domainEnglishFormat.kif 56643-56643
(termFormat ChineseLanguage systemBehavior "系统行为") domainEnglishFormat.kif 56644-56644

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


(=>
    (systemBehavior ?System TransientSystemBehavior)
    (complexity ?System SingleRequirementComplexity))		 QoSontology.kif 1641-1643 If the behavior of X is TransientSystemBehavior, then the complexity of X is single requirement complexity
(=>
    (systemBehavior ?System PeriodicSystemBehavior)
    (complexity ?System SingleRequirementComplexity))		 QoSontology.kif 1645-1647 If the behavior of X is PeriodicSystemBehavior, then the complexity of X is single requirement complexity
(=>
    (systemBehavior ?System HybridSystemBehavior)
    (complexity ?System MultipleRequirementComplexity))		 QoSontology.kif 1656-1658 If the behavior of X is HybridSystemBehavior, then the complexity of X is multiple requirement complexity

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners