No TPTP formula. May not be expressible in strict first order. |
naics.kif 6148-6148 |
不相交的 雜項製造業 and 非金屬礦產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3823-3823 |
子屬性 水泥和混凝土製品製造 and 非金屬礦產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3710-3710 |
子屬性 粘土產品和耐火材料製造 and 非金屬礦產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3791-3791 |
子屬性 玻璃和玻璃製品生產 and 非金屬礦產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3870-3870 |
子屬性 石灰和石膏產品製造 and 非金屬礦產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3888-3888 |
子屬性 其他非金屬礦產品製造 and 非金屬礦產品製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40817-40817 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40816-40816 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40815-40815 |
|