TreeView Knowledge Base Browser - designPattern

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - designPattern

designPattern

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1377-1379
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1375-1375	The number 1 argument of design pattern is an instance of realtime system
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1376-1376	The number 2 argument of design pattern is an instance of design pattern attribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1374-1374	design pattern is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1373-1373	design pattern is a subrelation of property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3242-3242
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3241-3241
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3240-3240
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19248-19248
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19247-19247
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19246-19246

antecedent

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