Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Re2En3Ra4Ra5En6En7RaFn

 Sigma KEE - complexity
complexity

appearance as argument number 1
-------------------------


(subrelation complexity property) QoSontology.kif 1625-1625 complexity is a subrelation of property
(instance complexity BinaryPredicate) QoSontology.kif 1626-1626 complexity is an instance of binary predicate
(domain complexity 1 RealtimeSystem) QoSontology.kif 1627-1627 The number 1 argument of complexity is an instance of realtime system
(domain complexity 2 TimingRequirementAttribute) QoSontology.kif 1628-1628 The number 2 argument of complexity is an instance of timing requirement attribute
(documentation complexity EnglishLanguage "(complexity ?System ?Attribute) holds if ?Attribute is a TimingRequirementAttribute which describes the RealtimeSystem ?System.") QoSontology.kif 1629-1631 The number 2 argument of complexity is an instance of timing requirement attribute

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


(format EnglishLanguage complexity "the complexity of %1 is %2") domainEnglishFormat.kif 3044-3044
(format ChineseTraditionalLanguage complexity "%1 的 complexity 是 %2 ") domainEnglishFormat.kif 3045-3045
(format ChineseLanguage complexity "%1 的 complexity 是 %2 ") domainEnglishFormat.kif 3046-3046
(termFormat EnglishLanguage complexity "complexity") domainEnglishFormat.kif 16182-16182
(termFormat ChineseTraditionalLanguage complexity "複雜") domainEnglishFormat.kif 16183-16183
(termFormat ChineseLanguage complexity "复杂") domainEnglishFormat.kif 16184-16184

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


(=>
    (systemBehavior ?System TransientSystemBehavior)
    (complexity ?System SingleRequirementComplexity))		 QoSontology.kif 1641-1643 If the behavior of X is TransientSystemBehavior, then the complexity of X is single requirement complexity
(=>
    (systemBehavior ?System PeriodicSystemBehavior)
    (complexity ?System SingleRequirementComplexity))		 QoSontology.kif 1645-1647 If the behavior of X is PeriodicSystemBehavior, then the complexity of X is single requirement complexity
(=>
    (systemBehavior ?System HybridSystemBehavior)
    (complexity ?System MultipleRequirementComplexity))		 QoSontology.kif 1656-1658 If the behavior of X is HybridSystemBehavior, then the complexity of X is multiple requirement complexity


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners