|
|
  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 | BasicChemicalManufacturing est un sous-attribut de ChemicalManufacturing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3156-3156 | IndustrialGasManufacturing est un sous-attribut de BasicChemicalManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3183-3183 | OtherBasicInorganicChemicalManufacturing est un sous-attribut de BasicChemicalManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3211-3211 | OtherBasicOrganicChemicalManufacturing est un sous-attribut de BasicChemicalManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3149-3149 | PetrochemicalManufacturing est un sous-attribut de BasicChemicalManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3162-3162 | SyntheticDyeAndPigmentManufacturing est un sous-attribut de BasicChemicalManufacturing |
| 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 |
|
|
|
