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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PaperboardContainerManufacturing

Sigma KEE - PaperboardContainerManufacturing
PaperboardContainerManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2775-2777
No TPTP formula. May not be expressible in strict first order. naics.kif 2773-2773 PaperboardContainerManufacturing est un sous-attribut de ConvertedPaperProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2779-2779 CorrugatedAndSolidFiberBoxManufacturing est un sous-attribut de PaperboardContainerManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2800-2800 FiberCanTubeDrumAndSimilarProductsManufacturing est un sous-attribut de PaperboardContainerManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2786-2786 FoldingPaperboardBoxManufacturing est un sous-attribut de PaperboardContainerManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2807-2807 NonfoldingSanitaryFoodContainerManufacturing est un sous-attribut de PaperboardContainerManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2793-2793 SetupPaperboardBoxManufacturing est un sous-attribut de PaperboardContainerManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44304-44304
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44303-44303
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44302-44302


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