No TPTP formula. May not be expressible in strict first order. |
naics.kif 2121-2121 |
子屬性 窗簾和帷幔 and 窗簾和亞麻布廠 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2128-2128 |
子屬性 其他家用紡織品廠 and 窗簾和亞麻布廠 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18144-18144 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18143-18143 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18142-18142 |
|