No TPTP formula. May not be expressible in strict first order. |
naics.kif 1683-1683 |
面包和烘焙产品制造 是 面包店和玉米饼制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1710-1710 |
饼干和面食制造 是 面包店和玉米饼制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1736-1736 |
玉米饼制造 是 面包店和玉米饼制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9630-9630 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9629-9629 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9628-9628 |
|