|
|
  PesticideFertilizerAndOtherAgriculturalChemicalManufacturing
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3299-3303 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3297-3297 | PesticideFertilizerAndOtherAgriculturalChemicalManufacturing e' um sub-atributo de ChemicalManufacturing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3305-3305 | FertilizerManufacturing e' um sub-atributo de PesticideFertilizerAndOtherAgriculturalChemicalManufacturing |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3332-3332 | PesticideAndOtherAgriculturalChemicalManufacturing e' um sub-atributo de PesticideFertilizerAndOtherAgriculturalChemicalManufacturing |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45384-45384 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45383-45383 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45382-45382 |
|
|
|