No TPTP formula. May not be expressible in strict first order. |
naics.kif 2006-2006 |
子屬性 窄幅面料廠 and 窄幅面料廠和飛梭機器刺繡 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2013-2013 |
子屬性 希夫利機繡 and 窄幅面料廠和飛梭機器刺繡 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39741-39741 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39740-39740 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39739-39739 |
|