No TPTP formula. May not be expressible in strict first order. |
naics.kif 1696-1696 |
商业面包店 是 面包和烘焙产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1703-1703 |
冷冻蛋糕馅饼和其他糕点制造 是 面包和烘焙产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 1689-1689 |
零售面包店 是 面包和烘焙产品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11867-11867 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11866-11866 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11865-11865 |
|