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

Formal Language: 



KB Term:  Term intersection
English Word: 

  designPattern

 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 O argumento numero 1 de designPattern e' uma instancia de RealtimeSystem
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1376-1376 O argumento numero 2 de designPattern e' uma instancia de DesignPatternAttribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1374-1374 designPattern e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1373-1373 designPattern e' uma sub-relacao de 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
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1417-1419


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