No TPTP formula. May not be expressible in strict first order. |
naics.kif 2908-2908 |
所有其他转换纸制品制造 是 其他转换纸制品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2901-2901 |
卫生纸产品制造 是 其他转换纸制品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42894-42894 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42893-42893 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42892-42892 |
|