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 | Basic chemical manufacturing is a subattribute of chemical manufacturing |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3156-3156 | Industrial gas manufacturing is a subattribute of basic chemical manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3183-3183 | Other basic inorganic chemical manufacturing is a subattribute of basic chemical manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3211-3211 | Other basic organic chemical manufacturing is a subattribute of basic chemical manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3149-3149 | Petrochemical manufacturing is a subattribute of basic chemical manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3162-3162 | Synthetic dye and pigment manufacturing is a subattribute of basic chemical manufacturing |
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 |