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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OilAndGasFieldMachineryAndEquipmentManufacturing

Sigma KEE - OilAndGasFieldMachineryAndEquipmentManufacturing
OilAndGasFieldMachineryAndEquipmentManufacturing(oil and gas field machinery and equipment manufacturing)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4717-4720
No TPTP formula. May not be expressible in strict first order. naics.kif 4715-4715 Oil and gas field machinery and equipment manufacturing is a subattribute of mining and oil and gas field machinery manufacturing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41946-41946
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41945-41945
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41944-41944


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