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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MechanicalEngineering

 Sigma KEE - MechanicalEngineering
MechanicalEngineering

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 subField MechanicalEngineering and Engineering
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21309-21309 MechanicalEngineering est une sous-classe de champ d'�tude

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