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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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
(domain systemBehavior 2 SystemBehaviorAttribute) QoSontology.kif 1345-1345
(instance systemBehavior BinaryPredicate) QoSontology.kif 1343-1343
(subrelation systemBehavior property) QoSontology.kif 1342-1342

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


    (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


    (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