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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotorVehicleSteeringAndSuspensionComponentsExceptSpringManufacturing

Sigma KEE - MotorVehicleSteeringAndSuspensionComponentsExceptSpringManufacturing
MotorVehicleSteeringAndSuspensionComponentsExceptSpringManufacturing(除彈簧製造外的機動車轉向和懸架部件)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5821-5826
No TPTP formula. May not be expressible in strict first order. naics.kif 5819-5819 子屬性 除彈簧製造外的機動車轉向和懸架部件 and 汽車零部件製造業

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38943-38943
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38942-38942
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38941-38941


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