No TPTP formula. May not be expressible in strict first order. |
naics.kif 6149-6149 |
不相交的 雜項製造業 and 塑料和橡膠製品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3517-3517 |
子屬性 塑料製品製造業 and 塑料和橡膠製品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3631-3631 |
子屬性 橡膠製品製造業 and 塑料和橡膠製品製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46170-46170 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46169-46169 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46168-46168 |
|