TreeView Knowledge Base Browser - systemBehavior

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - systemBehavior

systemBehavior

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1346-1348
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1344-1344	The number 1 argument of system behavior is an instance of realtime system
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1345-1345	The number 2 argument of system behavior is an instance of system behavior attribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1343-1343	system behavior is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1342-1342	system behavior is a subrelation of property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4722-4722
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4721-4721
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4720-4720
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56649-56649
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56648-56648
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56647-56647

antecedent

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

consequent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1399-1401	If a realtime system has the pattern guidance- design pattern, then the behavior of the realtime system is transient- system behavior
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1417-1419	If a realtime system has the pattern InitiationDesignPattern, then the behavior of the realtime system is TransientSystemBehavior

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