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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MotorVehicleMetalStamping

Sigma KEE - MotorVehicleMetalStamping
MotorVehicleMetalStamping(汽車金屬沖壓)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 5853-5856
No TPTP formula. May not be expressible in strict first order. naics.kif 5851-5851 子屬性 汽車金屬沖壓 and 汽車零部件製造業

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38919-38919
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38918-38918
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38917-38917


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