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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpecialDieAndToolDieSetJigAndFixtureManufacturing

Sigma KEE - SpecialDieAndToolDieSetJigAndFixtureManufacturing
SpecialDieAndToolDieSetJigAndFixtureManufacturing(特殊模具和工具模具夹具和夹具制造)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 4919-4923
No TPTP formula. May not be expressible in strict first order. naics.kif 4917-4917 特殊模具和工具模具夹具和夹具制造金属加工机械制造业subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54492-54492
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54491-54491
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54490-54490


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