No TPTP formula. May not be expressible in strict first order. |
naics.kif 1569-1569 |
子屬性 乾燥和脫水食品製造 and 水果和蔬菜罐頭酸洗和乾燥 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1556-1556 |
子屬性 水果和蔬菜罐頭 and 水果和蔬菜罐頭酸洗和乾燥 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1563-1563 |
子屬性 特產罐頭 and 水果和蔬菜罐頭酸洗和乾燥 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25136-25136 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25135-25135 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25134-25134 |
|