No TPTP formula. May not be expressible in strict first order. |
naics.kif 5499-5499 |
家用电器和家用风扇制造 是 小家电制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5508-5508 |
家用吸尘器制造业 是 小家电制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53480-53480 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53479-53479 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53478-53478 |
|