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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotorVehiclePartsManufacturing

Sigma KEE - MotorVehiclePartsManufacturing
MotorVehiclePartsManufacturing(汽車零部件製造業)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5770-5772
No TPTP formula. May not be expressible in strict first order. Economy.kif 1813-1813 子屬性 汽車零部件製造業 and 汽車工業
No TPTP formula. May not be expressible in strict first order. naics.kif 5768-5768 子屬性 汽車零部件製造業 and 運輸設備製造業

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5828-5828 子屬性 機動車煞車系統製造 and 汽車零部件製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 5796-5796 子屬性 汽車電氣電子設備製造業 and 汽車零部件製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 5774-5774 子屬性 汽車汽油發動機和發動機零件製造 and 汽車零部件製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 5851-5851 子屬性 汽車金屬沖壓 and 汽車零部件製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 5843-5843 子屬性 汽車座椅和內飾製造 and 汽車零部件製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 5819-5819 子屬性 除彈簧製造外的機動車轉向和懸架部件 and 汽車零部件製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 5835-5835 子屬性 機動車變速器和動力傳動系零件製造 and 汽車零部件製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 5858-5858 子屬性 其他汽車零部件製造業 and 汽車零部件製造業
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38925-38925
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38924-38924
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38923-38923


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