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 and 實時系統
(domain systemBehavior 2 SystemBehaviorAttribute) QoSontology.kif 1345-1345 域 系統行為, 2 and 系統行為屬性
(instance systemBehavior BinaryPredicate) QoSontology.kif 1343-1343 例 系統行為 and BinaryPredicate
(subrelation systemBehavior property) QoSontology.kif 1342-1342 子關係 系統行為 and 屬性

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