TreeView Knowledge Base Browser - complexity

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - complexity

complexity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1518-1520
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1516-1516	The number 1 argument of complexity is an instance of realtime system
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1517-1517	The number 2 argument of complexity is an instance of timing requirement attribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1515-1515	complexity is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1514-1514	complexity is a subrelation of property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3050-3050
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3049-3049
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3048-3048
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16182-16182
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16181-16181
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16180-16180

consequent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1543-1545	If the behavior of a realtime system is HybridSystemBehavior, then the complexity of the realtime system is MultipleRequirementComplexity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1533-1535	If the behavior of a realtime system is PeriodicSystemBehavior, then the complexity of the realtime system is SingleRequirementComplexity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1529-1531	If the behavior of a realtime system is TransientSystemBehavior, then the complexity of the realtime system is SingleRequirementComplexity

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 is open source software produced by Articulate Software and its partners