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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PetroleumAndCoalProductsManufacturing

 Sigma KEE - PetroleumAndCoalProductsManufacturing
PetroleumAndCoalProductsManufacturing(石油和煤炭产品制造业)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3049-3051
No TPTP formula. May not be expressible in strict first order. naics.kif 3047-3047 石油和煤炭产品制造业 是 行业属性 的 instance

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6151-6151 杂项制造业 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. naics.kif 3078-3078 沥青铺设屋面和饱和材料制造 是 石油和煤炭产品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1719-1719 煤炭产品制造业 是 石油和煤炭产品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3099-3099 其他石油和煤炭产品制造业 是 石油和煤炭产品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. Economy.kif 1839-1839 石油产品制造业 是 石油和煤炭产品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. naics.kif 3072-3072 炼油厂 是 石油和煤炭产品制造业 的 subAttribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45444-45444
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45443-45443
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45442-45442

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3053-3069


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