No TPTP formula. May not be expressible in strict first order. |
naics.kif 4295-4295 |
子屬性 餐具和餐具除了珍貴的製造 and 餐具和手工製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4302-4302 |
子屬性 手工和邊緣工具製造 and 餐具和手工製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4316-4316 |
子屬性 廚房用具鍋和鍋製造 and 餐具和手工製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4309-4309 |
子屬性 鋸片和手鋸製造 and 餐具和手工製造 |
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 |
|