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

Formal Language: 



KB Term:  Term intersection
English Word: 

  brandIcon

Sigma KEE - AllOtherChemicalProductAndPreparationManufacturing
AllOtherChemicalProductAndPreparationManufacturing(all other chemical product and preparation manufacturing)

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 All other chemical product and preparation manufacturing is a subattribute of other chemical product and preparation manufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3475-3475 All other miscellaneous chemical product and preparation manufacturing is a subattribute of all other chemical product and preparation manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3460-3460 Custom compounding of purchased resins is a subattribute of all other chemical product and preparation manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3467-3467 Photographic film paper plate and chemical manufacturing is a subattribute of all other chemical product and preparation manufacturing
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