No TPTP formula. May not be expressible in strict first order. |
naics.kif 1500-1500 |
从可可豆制造巧克力和糖果 是 糖和糖果产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1508-1508 |
从购买的巧克力制造糖果 是 糖和糖果产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1516-1516 |
非巧克力糖果制造 是 糖和糖果产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1476-1476 |
制糖 是 糖和糖果产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55957-55957 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55956-55956 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55955-55955 |
|