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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MetalworkingMachineryManufacturing

Sigma KEE - MetalworkingMachineryManufacturing
MetalworkingMachineryManufacturing(金屬加工機械製造業)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4891-4893
No TPTP formula. May not be expressible in strict first order. naics.kif 4889-4889 子屬性 金屬加工機械製造業 and 機械製造業

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4925-4925 子屬性 切削刀具和機床附件製造 and 金屬加工機械製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 4895-4895 子屬性 工業模具製造 and 金屬加工機械製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 4903-4903 子屬性 機床金屬切削類型製造 and 金屬加工機械製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 4910-4910 子屬性 機床金屬成型類型製造 and 金屬加工機械製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 4940-4940 子屬性 其他金屬加工機械製造業 and 金屬加工機械製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 4933-4933 子屬性 軋機機械設備製造 and 金屬加工機械製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 4917-4917 子屬性 特殊模具和工具模具夾具和夾具製造 and 金屬加工機械製造業
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37325-37325
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37324-37324
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37323-37323


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