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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChemicalManufacturing

 Sigma KEE - ChemicalManufacturing
ChemicalManufacturing(化学制造业)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3121-3123
No TPTP formula. May not be expressible in strict first order. naics.kif 3119-3119 化学制造业 是 行业属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6150-6150 杂项制造业 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. naics.kif 3143-3143 基础化学制造业 是 化学制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3434-3434 其他化学产品和制剂生产 是 化学制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3374-3374 油漆涂料和胶粘剂制造 是 化学制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3297-3297 农药肥料和其他农业化学品制造业 是 化学制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3339-3339 制药和医药制造业 是 化学制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3247-3247 树脂合成橡胶和人造及合成纤维和长丝的制造 是 化学制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3393-3393 肥皂清洁化合物和厕所制备制造 是 化学制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14316-14316
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14315-14315
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14314-14314

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 3125-3141


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