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 系统行为 的 1 数量 是 实时系统instance
(domain systemBehavior 2 SystemBehaviorAttribute) QoSontology.kif 1345-1345 系统行为 的 2 数量 是 系统行为属性instance
(instance systemBehavior BinaryPredicate) QoSontology.kif 1343-1343 系统行为二元谓语instance
(subrelation systemBehavior property) QoSontology.kif 1342-1342 系统行为特性subrelation

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

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