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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BjtTransistor
BjtTransistor(bjt晶體管)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1081-1081
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4551-4551
No TPTP formula. May not be expressible in strict first order. engineering.kif 1082-1082
No TPTP formula. May not be expressible in strict first order. engineering.kif 1083-1083 子類 bjt晶體管 and 晶體管

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1100-1100 子類 npn晶體管 and bjt晶體管
No TPTP formula. May not be expressible in strict first order. engineering.kif 1104-1104 子類 pnp晶體管 and bjt晶體管
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11249-11249
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11248-11248
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11247-11247
No TPTP formula. May not be expressible in strict first order. engineering.kif 1070-1070 基礎 typicallybjt晶體管part
No TPTP formula. May not be expressible in strict first order. engineering.kif 1075-1075 收集家 typicallybjt晶體管part
No TPTP formula. May not be expressible in strict first order. engineering.kif 1079-1079 發射器 typicallybjt晶體管part


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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