No TPTP formula. May not be expressible in strict first order. |
naics.kif 1536-1536 |
冷冻果汁和蔬菜制造 是 冷冻食品制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1543-1543 |
冷冻特种食品制造业 是 冷冻食品制造业 的 subAttribute |
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 |
|