No TPTP formula. May not be expressible in strict first order. |
naics.kif 3387-3387 |
胶粘剂制造 是 油漆涂料和胶粘剂制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3380-3380 |
油漆和涂料制造 是 油漆涂料和胶粘剂制造 的 subAttribute |
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 |
|