No TPTP formula. May not be expressible in strict first order. |
naics.kif 3305-3305 |
子屬性 化肥生產 and 農藥肥料和其他農業化學品製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3332-3332 |
子屬性 農藥和其他農業化學品製造業 and 農藥肥料和其他農業化學品製造業 |
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 |
|