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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OtherChemicalProductAndPreparationManufacturing

Sigma KEE - OtherChemicalProductAndPreparationManufacturing
OtherChemicalProductAndPreparationManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3436-3439
No TPTP formula. May not be expressible in strict first order. naics.kif 3434-3434 OtherChemicalProductAndPreparationManufacturing est un sous-attribut de ChemicalManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3453-3453 AllOtherChemicalProductAndPreparationManufacturing est un sous-attribut de OtherChemicalProductAndPreparationManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3447-3447 ExplosivesManufacturing est un sous-attribut de OtherChemicalProductAndPreparationManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3441-3441 PrintingInkManufacturing est un sous-attribut de OtherChemicalProductAndPreparationManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42810-42810
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42809-42809
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 42808-42808


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