No TPTP formula. May not be expressible in strict first order. |
naics.kif 3742-3742 |
瓷器电源制造 是 陶瓷陶瓷和水暖具制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3733-3733 |
玻璃瓷精细陶器等陶瓷制品制造 是 陶瓷陶瓷和水暖具制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3723-3723 |
玻璃瓷卫浴设备和瓷器和陶器卫浴配件制造 是 陶瓷陶瓷和水暖具制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46922-46922 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46921-46921 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46920-46920 |
|