No TPTP formula. May not be expressible in strict first order. |
naics.kif 1536-1536 |
子屬性 冷凍果汁和蔬菜製造 and 冷凍食品製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1543-1543 |
子屬性 冷凍特種食品製造業 and 冷凍食品製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25094-25094 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25093-25093 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25092-25092 |
|