No TPTP formula. May not be expressible in strict first order. |
naics.kif 3387-3387 |
子屬性 膠粘劑製造 and 油漆塗料和膠粘劑製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3380-3380 |
子屬性 油漆和塗料製造 and 油漆塗料和膠粘劑製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44022-44022 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44021-44021 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44020-44020 |
|