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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MosfetTransistor
MosfetTransistor(mosfet transistor)
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 Mosfet transistor is a subclass of fet transistor

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 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