No TPTP formula. May not be expressible in strict first order. |
naics.kif 3929-3929 |
子屬性 所有其他雜項非金屬礦產品製造 and 所有其他非金屬礦產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3908-3908 |
子屬性 切割石材和石材產品製造 and 所有其他非金屬礦產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3915-3915 |
子屬性 地面或經過處理的礦物和土壤製造 and 所有其他非金屬礦產品製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3923-3923 |
子屬性 礦棉製造 and 所有其他非金屬礦產品製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6834-6834 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6833-6833 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6832-6832 |
|