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 SpecialDieAndToolDieSetJigAndFixtureManufacturing e' um sub-atributo de MetalworkingMachineryManufacturing

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


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


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