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

Formal Language: 



KB Term:  Term intersection
English Word: 

  systemBehavior

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 56649-56649
(termFormat ChineseTraditionalLanguage systemBehavior "系統行為") domainEnglishFormat.kif 56648-56648
(termFormat EnglishLanguage systemBehavior "system behavior") domainEnglishFormat.kif 56647-56647

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

Show without tree


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