No TPTP formula. May not be expressible in strict first order. |
naics.kif 5515-5515 |
子屬性 主要家電製造業 and 家電製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5493-5493 |
子屬性 小家電製造業 and 家電製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28731-28731 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28730-28730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 28729-28729 |
|