No TPTP formula. May not be expressible in strict first order. |
naics.kif 3568-3568 |
塑料管材和管件制造 是 塑料管道配件和无支撑型材制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3561-3561 |
无支撑的塑料型材制造 是 塑料管道配件和无支撑型材制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46208-46208 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46207-46207 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46206-46206 |
|