No TPTP formula. May not be expressible in strict first order. |
naics.kif 2244-2244 |
子屬性 外衣針織廠 and 其他服裝針織廠 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2251-2251 |
子屬性 內衣和睡衣針織廠 and 其他服裝針織廠 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42750-42750 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42749-42749 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 42748-42748 |
|