No TPTP formula. May not be expressible in strict first order. |
naics.kif 3400-3400 |
肥皂和清洁化合物制造 是 肥皂清洁化合物和厕所制备制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3427-3427 |
厕所准备制造 是 肥皂清洁化合物和厕所制备制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53588-53588 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53587-53587 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53586-53586 |
|