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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Emitter

 Sigma KEE - Emitter
Emitter(emitter)
more pictures...		emitter

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 1076-1076
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5985-5985
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6468-6468
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6470-6470
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6467-6467
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6471-6471
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6469-6469
No TPTP formula. May not be expressible in strict first order. engineering.kif 1078-1078
No TPTP formula. May not be expressible in strict first order. engineering.kif 1077-1077 Emitter is a subclass of terminal
No TPTP formula. May not be expressible in strict first order. engineering.kif 1079-1079 A emitter is typically a part of a bjt transistor

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21942-21942
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21941-21941
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21940-21940


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