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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricalEngineering

 Sigma KEE - ElectricalEngineering
ElectricalEngineering(electrical engineering)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 8467-8467
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9172-9172
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9175-9175
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9174-9174
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9177-9177
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9176-9176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21288-21288 Electrical engineering is a sub-field of engineering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21287-21287 Electrical engineering is a subclass of field of study

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21492-21492
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21491-21491
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21490-21490


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