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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConvertedPaperProductManufacturing

Sigma KEE - ConvertedPaperProductManufacturing
ConvertedPaperProductManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2769-2771
No TPTP formula. May not be expressible in strict first order. naics.kif 2767-2767 ConvertedPaperProductManufacturing est un sous-attribut de PaperManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 2895-2895 OtherConvertedPaperProductManufacturing est un sous-attribut de ConvertedPaperProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2814-2814 PaperBagAndCoatedAndTreatedPaperManufacturing est un sous-attribut de ConvertedPaperProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2773-2773 PaperboardContainerManufacturing est un sous-attribut de ConvertedPaperProductManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 2868-2868 StationeryProductManufacturing est un sous-attribut de ConvertedPaperProductManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17124-17124
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17123-17123
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17122-17122


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