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 其他化学产品和制剂生产化学制造业subAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3453-3453 所有其他化学产品和制剂生产其他化学产品和制剂生产subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3447-3447 炸药制造其他化学产品和制剂生产subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3441-3441 印刷油墨制造其他化学产品和制剂生产subAttribute
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