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 汽车零部件制造业 是 汽车工业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5768-5768 汽车零部件制造业 是 运输设备制造业 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5828-5828 机动车煞车系统制造 是 汽车零部件制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5796-5796 汽车电气电子设备制造业 是 汽车零部件制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5774-5774 汽车汽油发动机和发动机零件制造 是 汽车零部件制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5851-5851 汽车金属冲压 是 汽车零部件制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5843-5843 汽车座椅和内饰制造 是 汽车零部件制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5819-5819 除弹簧制造外的机动车转向和悬架部件 是 汽车零部件制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5835-5835 机动车变速器和动力传动系零件制造 是 汽车零部件制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 5858-5858 其他汽车零部件制造业 是 汽车零部件制造业 的 subAttribute
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