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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NpnTransistor

 Sigma KEE - NpnTransistor
NpnTransistor(npn晶体管)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1098-1098
No TPTP formula. May not be expressible in strict first order. engineering.kif 1099-1099
No TPTP formula. May not be expressible in strict first order. engineering.kif 1100-1100 Npn晶体管 是 bjt晶体管 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41319-41319
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41318-41318
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41317-41317


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