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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MechanicalEngineering

 Sigma KEE - MechanicalEngineering
MechanicalEngineering(mechanical engineering)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21310-21312
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8592-8592
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9418-9418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21308-21308 Mechanical engineering is a sub-field of engineering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21309-21309 Mechanical 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 36731-36731
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36730-36730
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36729-36729


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