No TPTP formula. May not be expressible in strict first order. |
naics.kif 1530-1530 |
冷冻食品制造业 是 水果和蔬菜保鲜和特色食品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1550-1550 |
水果和蔬菜罐头酸洗和干燥 是 水果和蔬菜保鲜和特色食品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25148-25148 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25147-25147 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25146-25146 |
|