No TPTP formula. May not be expressible in strict first order. |
naics.kif 3568-3568 |
子屬性 塑料管材和管件製造 and 塑料管道配件和無支撐型材製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3561-3561 |
子屬性 無支撐的塑料型材製造 and 塑料管道配件和無支撐型材製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46206-46206 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46205-46205 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46204-46204 |
|