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 e' um sub-atributo de ChemicalManufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3453-3453 AllOtherChemicalProductAndPreparationManufacturing e' um sub-atributo de OtherChemicalProductAndPreparationManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3447-3447 ExplosivesManufacturing e' um sub-atributo de OtherChemicalProductAndPreparationManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3441-3441 PrintingInkManufacturing e' um sub-atributo 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