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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PaperBagAndCoatedAndTreatedPaperManufacturing

Sigma KEE - PaperBagAndCoatedAndTreatedPaperManufacturing
PaperBagAndCoatedAndTreatedPaperManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2816-2819
No TPTP formula. May not be expressible in strict first order. naics.kif 2814-2814 PaperBagAndCoatedAndTreatedPaperManufacturing e' um sub-atributo de ConvertedPaperProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2821-2821 CoatedAndLaminatedPackagingPaperAndPlasticsFilmManufacturing e' um sub-atributo de PaperBagAndCoatedAndTreatedPaperManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2831-2831 CoatedAndLaminatedPaperManufacturing e' um sub-atributo de PaperBagAndCoatedAndTreatedPaperManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2852-2852 LaminatedAluminumFoilManufacturingForFlexiblePackagingUses e' um sub-atributo de PaperBagAndCoatedAndTreatedPaperManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2838-2838 PlasticsFoilAndCoatedPaperBagManufacturing e' um sub-atributo de PaperBagAndCoatedAndTreatedPaperManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2860-2860 SurfaceCoatedPaperboardManufacturing e' um sub-atributo de PaperBagAndCoatedAndTreatedPaperManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2845-2845 UncoatedPaperAndMultiwallBagManufacturing e' um sub-atributo de PaperBagAndCoatedAndTreatedPaperManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44298-44298
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44297-44297
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44296-44296


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