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

(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	O argumento numero 1 de systemBehavior e' uma instancia de RealtimeSystem
(domain systemBehavior 2 SystemBehaviorAttribute)	QoSontology.kif 1345-1345	O argumento numero 2 de systemBehavior e' uma instancia de SystemBehaviorAttribute
(instance systemBehavior BinaryPredicate)	QoSontology.kif 1343-1343	systemBehavior e' uma instancia de Predicado Binario
(subrelation systemBehavior property)	QoSontology.kif 1342-1342	systemBehavior e' uma sub-relacao de property

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 RealtimeSystem and HybridSystemBehavior complexity RealtimeSystem and MultipleRequirementComplexity
(=> (systemBehavior ?System PeriodicSystemBehavior) (complexity ?System SingleRequirementComplexity))	QoSontology.kif 1533-1535	systemBehavior RealtimeSystem and PeriodicSystemBehavior complexity RealtimeSystem and SingleRequirementComplexity
(=> (systemBehavior ?System TransientSystemBehavior) (complexity ?System SingleRequirementComplexity))	QoSontology.kif 1529-1531	systemBehavior RealtimeSystem and TransientSystemBehavior complexity RealtimeSystem and SingleRequirementComplexity

consequent

(=> (designPattern ?System Guidance-DesignPattern) (systemBehavior ?System Transient-SystemBehavior))	QoSontology.kif 1399-1401	designPattern RealtimeSystem and Guidance-DesignPattern systemBehavior RealtimeSystem and Transient-SystemBehavior
(=> (designPattern ?System InitiationDesignPattern) (systemBehavior ?System TransientSystemBehavior))	QoSontology.kif 1417-1419	designPattern RealtimeSystem and InitiationDesignPattern systemBehavior RealtimeSystem and 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