No TPTP formula. May not be expressible in strict first order. |
naics.kif 6919-6919 |
子屬性 其他化學和相關產品批發商 and 化學和相關產品批發商 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6912-6912 |
子屬性 塑料材料和基本形式和形狀批發商 and 化學和相關產品批發商 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14292-14292 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14291-14291 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14290-14290 |
|