|
|
  BasicChemicalManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3145-3147 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10497-10497 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10496-10496 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10495-10495 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10498-10498 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9902-9902 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10493-10493 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3143-3143 | 基础化学制造业 是 化学制造业 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3156-3156 | 工业气体制造业 是 基础化学制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3183-3183 | 其他基础无机化学制造业 是 基础化学制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3211-3211 | 其他基本有机化学品制造业 是 基础化学制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3149-3149 | 石化制造业 是 基础化学制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3162-3162 | 合成染料和颜料制造 是 基础化学制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10110-10110 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10109-10109 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10108-10108 |
|
|
|
