No TPTP formula. May not be expressible in strict first order. |
naics.kif 1817-1817 |
子屬性 所有其他雜項食品製造業 and 所有其他食品製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1810-1810 |
子屬性 生鮮食品製造業 and 所有其他食品製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6642-6642 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6641-6641 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6640-6640 |
|