No TPTP formula. May not be expressible in strict first order. |
naics.kif 5499-5499 |
子屬性 家用電器和家用風扇製造 and 小家電製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5508-5508 |
子屬性 家用吸塵器製造業 and 小家電製造業 |
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 |
|