No TPTP formula. May not be expressible in strict first order. |
naics.kif 6356-6356 |
子屬性 掃帚刷和拖把製造 and 所有其他雜項製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6363-6363 |
子屬性 埋葬棺材製造 and 所有其他雜項製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6349-6349 |
子屬性 緊固件按鈕針和銷製造 and 所有其他雜項製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6335-6335 |
子屬性 墊片包裝和密封裝置製造 and 所有其他雜項製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6342-6342 |
子屬性 樂器製造業 and 所有其他雜項製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6762-6762 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6761-6761 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6760-6760 |
|