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 1346-1348
(domain systemBehavior 1 RealtimeSystem) QoSontology.kif 1344-1344 The number 1 argument of system behavior is an instance of realtime system
(domain systemBehavior 2 SystemBehaviorAttribute) QoSontology.kif 1345-1345 The number 2 argument of system behavior is an instance of system behavior attribute
(instance systemBehavior BinaryPredicate) QoSontology.kif 1343-1343 system behavior is an instance of binary predicate
(subrelation systemBehavior property) QoSontology.kif 1342-1342 system behavior is a subrelation of property

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


(format ChineseLanguage systemBehavior "%1 的 behavior 是 %2 ") domainEnglishFormat.kif 4722-4722
(format ChineseTraditionalLanguage systemBehavior "%1 的 behavior 是 %2 ") domainEnglishFormat.kif 4721-4721
(format EnglishLanguage systemBehavior "the behavior of %1 is %2") domainEnglishFormat.kif 4720-4720
(termFormat ChineseLanguage systemBehavior "系统行为") domainEnglishFormat.kif 56647-56647
(termFormat ChineseTraditionalLanguage systemBehavior "系統行為") domainEnglishFormat.kif 56646-56646
(termFormat EnglishLanguage systemBehavior "system behavior") domainEnglishFormat.kif 56645-56645

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


(=>
    (systemBehavior ?System HybridSystemBehavior)
    (complexity ?System MultipleRequirementComplexity))
QoSontology.kif 1543-1545
(=>
    (systemBehavior ?System PeriodicSystemBehavior)
    (complexity ?System SingleRequirementComplexity))
QoSontology.kif 1533-1535
(=>
    (systemBehavior ?System TransientSystemBehavior)
    (complexity ?System SingleRequirementComplexity))
QoSontology.kif 1529-1531

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


(=>
    (designPattern ?System Guidance-DesignPattern)
    (systemBehavior ?System Transient-SystemBehavior))
QoSontology.kif 1399-1401
(=>
    (designPattern ?System InitiationDesignPattern)
    (systemBehavior ?System TransientSystemBehavior))
QoSontology.kif 1417-1419


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