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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AllOtherFabricatedMetalProductManufacturing

Sigma KEE - AllOtherFabricatedMetalProductManufacturing
AllOtherFabricatedMetalProductManufacturing(所有其他金属制品制造​​业)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4571-4573
No TPTP formula. May not be expressible in strict first order. naics.kif 4569-4569 所有其他金属制品制造​​业其他加工金属制品制造​​业subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4630-4630 所有其他杂项金属制品制造所有其他金属制品制造​​业subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4589-4589 弹药制造小武器除外所有其他金属制品制造​​业subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4575-4575 滚珠和滚子轴承制造所有其他金属制品制造​​业subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4623-4623 搪瓷铁和金属卫生洁具制造所有其他金属制品制造​​业subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4609-4609 装配管和管件制造所有其他金属制品制造​​业subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4616-4616 工业模式制造业所有其他金属制品制造​​业subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4602-4602 其他军械和配件制造业所有其他金属制品制造​​业subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4582-4582 小武器弹药制造业所有其他金属制品制造​​业subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 4596-4596 小武器制造业所有其他金属制品制造​​业subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6630-6630
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6629-6629
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6628-6628


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