| No TPTP formula. May not be expressible in strict first order. |
naics.kif 1716-1716 |
饼干和饼干制造 是 饼干和面食制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 1730-1730 |
干面食制造 是 饼干和面食制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 1723-1723 |
面粉混合和面团制造从购买面粉 是 饼干和面食制造 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17160-17160 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17159-17159 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 17158-17158 |
|
CookieCrackerAndPastaManufacturing