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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AllOtherChemicalProductAndPreparationManufacturing

Sigma KEE - AllOtherChemicalProductAndPreparationManufacturing
AllOtherChemicalProductAndPreparationManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3455-3458
No TPTP formula. May not be expressible in strict first order. naics.kif 3453-3453 AllOtherChemicalProductAndPreparationManufacturing est un sous-attribut de OtherChemicalProductAndPreparationManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3475-3475 AllOtherMiscellaneousChemicalProductAndPreparationManufacturing est un sous-attribut de AllOtherChemicalProductAndPreparationManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3460-3460 CustomCompoundingOfPurchasedResins est un sous-attribut de AllOtherChemicalProductAndPreparationManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3467-3467 PhotographicFilmPaperPlateAndChemicalManufacturing est un sous-attribut de AllOtherChemicalProductAndPreparationManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6594-6594
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6593-6593
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6592-6592


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