No TPTP formula. May not be expressible in strict first order. |
naics.kif 4295-4295 |
餐具和餐具除了珍贵的制造 是 餐具和手工制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4302-4302 |
手工和边缘工具制造 是 餐具和手工制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4316-4316 |
厨房用具锅和锅制造 是 餐具和手工制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4309-4309 |
锯片和手锯制造 是 餐具和手工制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18216-18216 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18215-18215 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18214-18214 |
|