No TPTP formula. May not be expressible in strict first order. |
naics.kif 3305-3305 |
化肥生产 是 农药肥料和其他农业化学品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3332-3332 |
农药和其他农业化学品制造业 是 农药肥料和其他农业化学品制造业 的 subAttribute |
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 |
|