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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MosfetTransistor

 Sigma KEE - MosfetTransistor
MosfetTransistor
more pictures...

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1093-1094
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9438-9438
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9439-9439
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8602-8602
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9440-9440
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9436-9436
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9441-9441
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9437-9437
No TPTP formula. May not be expressible in strict first order. engineering.kif 1095-1095
No TPTP formula. May not be expressible in strict first order. engineering.kif 1096-1096 MosfetTransistor e' uma sub-classe de FetTransistor

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38637-38637
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38636-38636
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38635-38635


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