No TPTP formula. May not be expressible in strict first order. |
naics.kif 1670-1670 |
新鲜和冷冻海鲜加工 是 海鲜产品的制备和包装 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1663-1663 |
海鲜罐头 是 海鲜产品的制备和包装 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51675-51675 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51674-51674 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51673-51673 |
|